The following pages link to (Q3787977):
Displaying 7 items.
- The semantics of second-order lambda calculus (Q751294) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- The theory of semi-functors (Q4279250) (← links)
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)