Pages that link to "Item:Q1274966"
From MaRDI portal
The following pages link to Unification with extended patterns (Q1274966):
Displayed 3 items.
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654) (← links)
- Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type (Q5055872) (← links)