Finitely stratified polymorphism
- 1 July 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 93 (1), 93-113
- https://doi.org/10.1016/0890-5401(91)90053-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- The typed λ-calculus is not elementary recursiveTheoretical Computer Science, 1979
- Rekursionszahlen und die Grzegorczyk-HierarchieArchive for Mathematical Logic, 1969
- La prédicativitéBulletin de la Société Mathématiques de France, 1960
- The formalization of mathematicsThe Journal of Symbolic Logic, 1954
- Mathematical Logic as Based on the Theory of TypesAmerican Journal of Mathematics, 1908