A colored version of the λ-calculus

Hutter D, Kohlhase M (1997)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1997

Publisher: Springer Verlag

Book Volume: 1249

Pages Range: 291-305

ISBN: 9783540631040

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

Authors with CRIS profile

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

Involved external institutions

Universität Bremen DE Germany (DE)

How to cite

APA:

Hutter, D., & Kohlhase, M. (1997). A colored version of the λ-calculus. In Proceedings of the 14th International Conference on Automated Deduction, CADE 1997 (pp. 291-305). Springer Verlag.

MLA:

Hutter, Dieter, and Michael Kohlhase. "A colored version of the λ-calculus." Proceedings of the 14th International Conference on Automated Deduction, CADE 1997 Springer Verlag, 1997. 291-305.

BibTeX: Download