Pages that link to "Item:Q879366"
From MaRDI portal
The following pages link to The Girard-Reynolds isomorphism (second edition) (Q879366):
Displaying 7 items.
- The Girard-Reynolds isomorphism (Q1887154) (← links)
- Proofs for free. Parametricity for dependent types (Q2844694) (← links)
- Controlling Program Extraction in Light Logics (Q3007661) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- Leibniz equality is isomorphic to Martin-Löf identity, parametrically (Q5120232) (← links)
- Contracts made manifest (Q5398336) (← links)