Abstract Data Types and Type Theory: Theories as Types
- 1 January 1991
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 37 (9-12) , 149-166
- https://doi.org/10.1002/malq.19910370904
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A Proof-Theoretic Account of Programming and the Role of Reduction RulesDialectica, 1988
- Proof Theory and MeaningPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- RealismSynthese, 1982
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- An Intuitionistic Theory of Types: Predicative PartPublished by Elsevier ,1975
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962