Skip to main content
Conference Proceedings

The small grzegorczyk classes and the typed λ-calculus

Lecture Notes in Computer Science (2005) 3526 252-262
DOI: 10.1007/11494645_32
11Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Cite

CITATION STYLE

APA

Kristiansen, L., & Barra, M. (2005). The small grzegorczyk classes and the typed λ-calculus. In Lecture Notes in Computer Science (Vol. 3526, pp. 252–262). Springer Verlag. https://doi.org/10.1007/11494645_32

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free