Comparing cubes of typed and type assignment systems
- 23 July 1997
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 86 (3) , 267-303
- https://doi.org/10.1016/s0168-0072(96)00036-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Modular proof of strong normalization for the calculus of constructionsJournal of Functional Programming, 1991
- Introduction to generalized type systemsJournal of Functional Programming, 1991
- The calculus of constructionsInformation and Computation, 1988
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- A filter lambda model and the completeness of type assignmentThe Journal of Symbolic Logic, 1983
- G‐Stratification is Equivalent to F‐StratificationMathematical Logic Quarterly, 1981
- Progress report on generalized functionalityAnnals of Mathematical Logic, 1979