Closure under alpha-conversion
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 313-332
- https://doi.org/10.1007/3-540-58085-9_82
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A formalization of the strong normalization proof for System F in LEGOPublished by Springer Nature ,2006
- Typing in Pure Type SystemsInformation and Computation, 1993
- A framework for defining logicsJournal of the ACM, 1993
- Typed Lambda Calculi and ApplicationsPublished by Springer Nature ,1993
- Explicit substitutionsJournal of Functional Programming, 1991
- An algorithm for testing conversion in type theoryPublished by Cambridge University Press (CUP) ,1991
- Modular proof of strong normalization for the calculus of constructionsJournal of Functional Programming, 1991
- Introduction to generalized type systemsJournal of Functional Programming, 1991
- A Perspective in Theoretical Computer SciencePublished by World Scientific Pub Co Pte Ltd ,1989
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972