Proceedings-Artikel
A Colored Version of the lambda-Calculus
Dieter Hutter; Michael Kohlhase
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.