Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object

DOI10.1006/INCO.1995.1085zbMath0832.68096OpenAlexW1999472136MaRDI QIDQ1893735

Roberto Di Cosmo

Publication date: 2 August 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1085

zbMATH Keywords

Curry-Howard correspondencesecond order lambda calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Unnamed Item ⋮ On Isomorphisms of Intersection Types ⋮ Remarks on isomorphisms in typed lambda calculi with empty and sum types ⋮ Isomorphism of intersection and union types

This page was built for publication: Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object