The formal description of data types using sketches
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 490-527
- https://doi.org/10.1007/3-540-19020-1_27
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Theories as categoriesPublished by Springer Nature ,1986
- Left exact logicJournal of Pure and Applied Algebra, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Toposes, Triples and TheoriesPublished by Springer Nature ,1985
- Parameter passing in algebraic specification languagesTheoretical Computer Science, 1983
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- The Algebraic Theory of Context-Free LanguagesPublished by Elsevier ,1963