Pierre-Louis Curien and Roberto Di Cosmo. A confluent reduction system for the λ-calculus with surjective pairing and terminal object. Journal of Functional Programming, 6(2):299--327, 1996. This is an extended and revised version of [3].

bib | DOI | Local copy ] This file was generated by bibtex2html 1.98.