Pages that link to "Item:Q1260643"
From MaRDI portal
The following pages link to On functors expressible in the polymorphic typed lambda calculus (Q1260643):
Displayed 9 items.
- Functorial polymorphism (Q753948) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- The Girard-Reynolds isomorphism (Q1887154) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- (Q3483291) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)