The following pages link to Functorial polymorphism (Q753948):
Displayed 13 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- A characterization of the least-fixed-point operator by dinaturality (Q685386) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Dinatural numbers (Q1295522) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Covariant types (Q1390953) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Categorical data types in parametric polymorphism (Q4286531) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)