Pierre-Louis Curien, Roberto Di Cosmo. A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. In Javier Leach Albert, Burkhard Monien, Mario RodrÃguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 291-302, Springer, 1991.
Abstract is missing.