- Record: found
- Abstract: not found
- Book Chapter: not found
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
Complexity of Normalization in the Pure Typed Lambda – Calculus
edited_book
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Book: not found
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
A. S. Troelstra (1973)
- Record: found
- Abstract: not found
- Article: not found
The typed λ-calculus is not elementary recursive
Richard Statman (1979)
