The simple semantics for Coppo-Dezani-Sallé types
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 212-226
- https://doi.org/10.1007/3-540-11494-7_15
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- A new type assignment for λ-termsArchive for Mathematical Logic, 1978
- The Type Free Lambda CalculusPublished by Elsevier ,1977