## Roberto Di Cosmo, Delia Kesner

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

ICALP, 1993.

@inproceedings{ICALP-1993-CosmoK, author = "Roberto Di Cosmo and Delia Kesner", booktitle = "{Proceedings of the 20th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-56939-1_109", isbn = "3-540-56939-1", pages = "645--656", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Confluent Reduction for the Extensional Typed λ-Calculus with Pairs, Sums, Recursion and terminal Object}", volume = 700, year = 1993, }