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,
}