Pages that link to "Item:Q749648"
From MaRDI portal
The following pages link to A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648):
Displayed 8 items.
- A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Games and Definability For FPC (Q4372924) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- Reflexive objects in topological categories (Q4715671) (← links)