The Expressiveness of Simple and Second-Order Type Structures
- 1 January 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 30 (1), 151-185
- https://doi.org/10.1145/322358.322370
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Independence results in computer scienceACM SIGACT News, 1976
- A classification of the ordinal recursive functionsArchive for Mathematical Logic, 1970
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- Functionals defined by transfinite recursionThe Journal of Symbolic Logic, 1965
- Types in combinatory logic.Notre Dame Journal of Formal Logic, 1964
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- A Set of Postulates For the Foundation of LogicAnnals of Mathematics, 1933
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932