Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem
- 1 March 1984
- journal article
- Published by Springer Nature in Acta Applicandae Mathematicae
- Vol. 2 (1) , 1-19
- https://doi.org/10.1007/bf01405490
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Form dynamicsJournal of Social and Biological Systems, 1980
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Diagonal arguments and cartesian closed categoriesPublished by Springer Nature ,1969