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):
Displaying 11 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)
- A Convenient Category of Domains (Q2864147) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Games and Definability For FPC (Q4372924) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- Reflexive objects in topological categories (Q4715671) (← links)
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235) (← links)
