Pages that link to "Item:Q1893735"

The following pages link to Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735):

Displaying 3 items.

• Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
• On Isomorphisms of Intersection Types (Q3540197) (← links)
• Isomorphism of intersection and union types (Q5268999) (← links)