The following pages link to (Q4357055):
Displaying 14 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- On explicit substitution with names (Q2392486) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)
- Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
- Proof-term synthesis on dependent-type systems via explicit substitutions (Q5958764) (← links)
