A Colored Version of the lambda-Calculus

@inproceedings{pub1563,
    author = {

Hutter, Dieter
 and 

Kohlhase, Michael
},
    editor = {

McCune, W.
},
    title = {A Colored Version of the lambda-Calculus},
    booktitle = {Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville},
    year = {1997},
    pages = {291--305},
    address = {Townsville, Australia},
    publisher = {Springer-Verlag, LNAI 1249}
}