Pages that link to "Item:Q5310654"
From MaRDI portal
The following pages link to Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative (Q5310654):
Displayed 7 items.
- How to think of intersection types as Cartesian products (Q1744395) (← links)
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← links)
- On polymorphic types of untyped terms (Q2453585) (← links)
- (Q2985126) (← links)
- Cartesian Monoids (Q3178269) (← links)
- (Q5111310) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)