UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES

Kohlhase M, Pfenning F (1993)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1993

Journal

LOGIC PROGRAMMING

Pages Range: 488-505

Conference Proceedings Title: Proceedings of the International Logic Programming Symposion ILPS'93

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Carnegie Mellon University US United States (USA) (US)

How to cite

APA:

Kohlhase, M., & Pfenning, F. (1993). UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES. In Proceedings of the International Logic Programming Symposion ILPS'93 (pp. 488-505).

MLA:

Kohlhase, Michael, and Frank Pfenning. "UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES." Proceedings of the Proceedings of the International Logic Programming Symposion ILPS'93 1993. 488-505.

BibTeX: Download