A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.

Roberto Di Cosmo, Delia Kesner

Browse the full ICALP paper archive.