Defining equations in terminal coalgebras
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 307-318
- https://doi.org/10.1007/bfb0014435
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Logic and Algebra of SpecificationPublished by Springer Nature ,1993
- Initial Computability, Algebraic Specifications, and Partial AlgebrasPublished by Walter de Gruyter GmbH ,1987
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963