Pages that link to "Item:Q2817681"
From MaRDI portal
The following pages link to Functional back-ends within the lambda-sigma calculus (Q2817681):
Displayed 5 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- The next 700 Krivine machines (Q2464721) (← links)