Pages that link to "Item:Q5881304"
From MaRDI portal
The following pages link to Higher-order unification, polymorphism, and subsorts (Q5881304):
Displaying 11 items.
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- (Q3707388) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- (Q4723321) (← links)
- A restricted form of higher-order rewriting applied to an HDL semantics (Q5055839) (← links)
- A recursive path ordering for higher-order terms in η-long β-normal form (Q5055855) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- Higher-order matching for program transformation (Q5958614) (← links)