Pages that link to "Item:Q2743636"
From MaRDI portal
The following pages link to Unification via the \(\lambda s_e\)-style of explicit substitutions (Q2743636):
Displaying 11 items.
- Properties of substitutions and unifications (Q1074342) (← links)
- Eta-conversion for the languages of explicit substitutions (Q1335136) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- (Q3838764) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)