Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Barendregt, H. Lambda calculi with types. InHandbook of Logic in Computer Science, Vol 2, ed. Abramsky, S., Gabbay, D. and Maibaum, T., Oxford University Press, 118-309, (1992).
2. Higher-order matching and tree automata
3. A Decidable Variant of Higher Order Matching
4. Third order matching is decidable
5. Dowek, G. Higher-order unification and matching. InHandbook of Automated Reasoning, Vol 2, ed. Robinson, A. and Voronkov A., North-Holland, 1009-1062, (2001).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献