A Colored Version of the Lambda-Calculus

Authors:
Dieter Hutter;Michael Kohlhase
Affiliations:
-;-
Venue:
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Year:
1997

Citing 0
Cited 3

Classical type theory

Handbook of automated reasoning
Automatic verification of functions with accumulating parameters

Journal of Functional Programming
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract