Pages that link to "Item:Q5055838"
From MaRDI portal
The following pages link to Explicit substitutions with de bruijn's levels (Q5055838):
Displaying 8 items.
- Internal models of system F for decompilation (Q428882) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Explicit substitutions with de bruijn's levels (Q5055838) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
