Higher-order unification and matching
作者： Gilles Dowek , None
DOI: 10.1016/B978-044450813-3/50018-7
关键词:
摘要:
sci-hub.st 参考文章(117)
Zhenyu Qian, Kang Wang, Modular AC Unification of Higher-Order Patterns CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics. pp. 105- 120 ,(1994) , 10.1007/BFB0016847
Frank Pfenning, Logic programming in the LF logical framework Logical Frameworks. pp. 149- 182 ,(1991) , 10.1017/CBO9780511569807.008
Harvey Friedman, Equality between functionals Lecture Notes in Mathematics. pp. 22- 37 ,(1975) , 10.1007/BFB0064870
Masami Hagiya, Higher-Order Unification as a Theorem Proving Procedure. international conference on lightning protection. pp. 270- 284 ,(1991)
Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and types ,(1989)
Frank Pfenning, Thérèse Hardin, Gilles Dowek, Claude Kirchner, Unification via Explicit Substitutions: The Case of Higher-Order Patterns. JICSLP. pp. 259- 273 ,(1996)
Gilles Dowek, Demonstration automatique dans le calcul des constructions Paris 7. ,(1991)
Margus Veanes, Jordi Jevy, On Unification Problems in Restricted Second-Order Languages ,(1998)
Gilles Dowek, Lambda-calculus, Combinators and the Comprehension Scheme international conference on typed lambda calculi and applications. pp. 154- 170 ,(1995) , 10.1007/BFB0014051