Non-well-founded sets obtained from ideal fixed points
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 263-272
- https://doi.org/10.1109/lics.1989.39181
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On substitutional recursion over non-well-founded setsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the algebraic specification of infinite objects — ordered and continuous models of algebraic typesActa Informatica, 1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Local compactness and continuous latticesLecture Notes in Mathematics, 1981
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977