Skip to main content Skip to main navigation

Publication

A Colored Version of the Lambda-Calculus

Dieter Hutter; Michael Kohlhase
Technical Report, Vol. SR-95-08, 1995.