A Colored Version of the Lambda-Calculus

@techreport{pub1562,
    author = {

Hutter, Dieter
 and 

Kohlhase, Michael
},
    title = {A Colored Version of the Lambda-Calculus},
    year = {1995},
    volume = {SR-95-08}
}