The following pages link to (Q2778872):
Displayed 11 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Lambda calculus with patterns (Q930865) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- (Q2851046) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Distributive ρ-calculus (Q2873778) (← links)