A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis Curien, Roberto Di Cosmo

Browse the full ICALP paper archive.