Jumbo λ-Calculus
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 444-455
- https://doi.org/10.1007/11787006_38
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Locus Solum: From the rules of logic to the logic of rulesMathematical Structures in Computer Science, 2001
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993