Dieter Hutter and
Michael Kohlhase. A Coloured Version of the Lambda-Calculus. In
W. McCune editor, 14th International Conference on Automated Deduction (CADE-14), July 13-17, (1249):291-305, Springer, James Cook University, Townsville, Australia, 1997.
@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}
}
|
