Pages that link to "Item:Q861365"
From MaRDI portal
The following pages link to Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365):
Displaying 4 items.
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
