@InProceedings{Hutter_Kohlhase:1997,
AUTHOR = {Hutter, Dieter and Kohlhase, Michael},
TITLE = {A Coloured Version of the Lambda-Calculus},
YEAR = {1997},
BOOKTITLE = {14th International Conference on Automated Deduction (CADE-14), July 13-17},
NUMBER = {1249},
PAGES = {291-305},
EDITOR = {McCune, W.},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {James Cook University, Townsville, Australia},
PUBLISHER = {Springer}
}
|
