The following pages link to (Q4283246):
Displayed 6 items.
- 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)
- Cryptographic logical relations (Q2481976) (← links)