Publikation

A Colored Version of the Lambda-Calculus

Dieter Hutter; Michael Kohlhase

Technical Report, Vol. SR-95-08, 1995.

http://www.dfki.de/vse/papers/hk95.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence