Pages that link to "Item:Q2817681"
From MaRDI portal
The following pages link to Functional back-ends within the lambda-sigma calculus (Q2817681):
Displaying 9 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Conditional lambda-theories and the verification of static properties of programs (Q1333262) (← 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)
- State-transition machines for lambda-calculus expressions (Q2464714) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- Sequent calculus as a compiler intermediate language (Q2982003) (← links)
- Programming Languages and Systems (Q5464039) (← links)