Pages that link to "Item:Q4371674"
From MaRDI portal
The following pages link to Confluence properties of weak and strong calculi of explicit substitutions (Q4371674):
Displaying 8 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
