On specifications, theories, and models with higher types
Open Access
- 31 March 1986
- journal article
- Published by Elsevier in Information and Control
- Vol. 68 (1-3) , 1-46
- https://doi.org/10.1016/s0019-9958(86)80027-4
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974