The following pages link to Term Rewriting and Applications (Q5703866):
Displaying 7 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Proof nets and the linear substitution calculus (Q1623116) (← links)
- On explicit substitution with names (Q2392486) (← links)
- (Q4357055) (← links)
- (Q4506392) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)