Third-Order Matching in the Polymorphic Lambda Calculus

Authors:
Jan Springintveld
Affiliations:
-
Venue:
HOA '95 Selected Papers from the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Year:
1995

Citing 0
Cited 3

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Higher-order unification and matching

Handbook of automated reasoning
Decidability of fourth-order matching

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract