The following pages link to (Q4385534):
Displaying 8 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
