The following pages link to (Q4283246):
Displaying 19 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- The essence of parallel Algol. (Q1400721) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5094126) (← links)
- (Q5094128) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Normalization for multimodal type theory (Q6649430) (← links)
