A note on inconsistencies caused by fixpoints in a cartesian closed category
- 8 June 1990
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 73 (1) , 101-112
- https://doi.org/10.1016/0304-3975(90)90165-e
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- On specifications, theories, and models with higher typesInformation and Control, 1986
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Ein Modell desP =N P-problems mit einer positiven LösungActa Informatica, 1982
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETSProceedings of the National Academy of Sciences, 1964