Publikation
Dieter Hutter; Michael Kohlhase
Technical Report, Vol. SR-95-08, 1995.
@techreport{pub1562, author = { Hutter, Dieter and Kohlhase, Michael }, title = {A Colored Version of the Lambda-Calculus}, year = {1995}, volume = {SR-95-08} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023