Telescopic mappings in typed lambda calculus
- 1 April 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 91 (2) , 189-204
- https://doi.org/10.1016/0890-5401(91)90066-b
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Strong Normalization in a Typed Lambda Calculus with Lambda Structured TypesPublished by Elsevier ,1994
- The calculus of constructionsInformation and Computation, 1988
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972