Pages that link to "Item:Q673121"
From MaRDI portal
The following pages link to A characterization of lambda definability in categorical models of implicit polymorphism (Q673121):
Displaying 6 items.
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Prelogical relations (Q1854557) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
