The following pages link to The rewriting calculus - part II (Q2720294):
Displaying 11 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Nominal rewriting (Q2373703) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- (Q2851046) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
