Pages that link to "Item:Q896904"
From MaRDI portal
The following pages link to Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904):
Displaying 6 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- (Q5089009) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
