Pages that link to "Item:Q1854337"
From MaRDI portal
The following pages link to Higher order unification via explicit substitutions (Q1854337):
Displayed 14 items.
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Nominal unification (Q1882909) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- (Q2703692) (← links)
- A typed context calculus (Q5958759) (← links)
- Proof-term synthesis on dependent-type systems via explicit substitutions (Q5958764) (← links)