Unification with extended patterns
From MaRDI portal
Publication:1274966
DOI10.1016/S0304-3975(97)00141-2zbMath0932.68021MaRDI QIDQ1274966
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification under a mixed prefix
- A unification algorithm for typed \(\overline\lambda\)-calculus
- Higher-order substitutions
- Higher-order Horn clauses
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
- Explicit substitutions
- Linear unification of higher-order patterns