Categorical aspects of data type constructors
- 31 December 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 50 (2) , 103-135
- https://doi.org/10.1016/0304-3975(87)90122-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Parameterized ProgrammingIEEE Transactions on Software Engineering, 1984
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- On the essentially-algebraic theory generated by a sketchBulletin of the Australian Mathematical Society, 1982
- Universal algebra in a closed categoryJournal of Pure and Applied Algebra, 1980
- Algebra valued functors in general and tensor products in particularColloquium Mathematicum, 1966
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963