Book Chapter10.1007/978-3-642-29822-6_6
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
Zena M. Ariola,Paul Downen,Hugo Herbelin,Keiko Nakata,Alexis Saurin-2012-01-01-Lecture notes in computer science
17
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
SequentSequent calculusComputer scienceNatural deductionTransformation (genetics)Context (archaeology)Extension (predicate logic)Parametric statistics
Chat
Click to start Chat