A note on inconsistencies caused by fixpoints in a Cartesian closed category
Theoretical Computer Science
Terminal coalgebras in well-founded set theory
Theoretical Computer Science
Additions and corrections to “Terminal coalgebras in well-founded set theory”
Theoretical Computer Science
Algebraic set theory
Theoretical Computer Science
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Category Theory and Computer Science
Mathematical Structures in Computer Science
A general final coalgebra theorem
Mathematical Structures in Computer Science
| Hi-index | 0.00 |