Roberto Di Cosmo. Second order isomorphic types. A proof theoretic study on second order λ-calculus with surjective pairing and terminal object. Information and Computation, pages 176--201, June 1995.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.