Unification in a sorted λ-calculus with term declarations and function sorts

Kohlhase M (1994)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1994

Publisher: Springer Verlag

Pages Range: 331-342

ISBN: 9783540584674

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85028712606&origin=inward

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M. (1994). Unification in a sorted λ-calculus with term declarations and function sorts. In Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 (pp. 331-342). Springer Verlag.

MLA:

Kohlhase, Michael. "Unification in a sorted λ-calculus with term declarations and function sorts." Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 Springer Verlag, 1994. 331-342.

BibTeX: Download