The following pages link to (Q4263868):
Displaying 8 items.
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- (Q5094128) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
