Pages that link to "Item:Q2851046"
From MaRDI portal
The following pages link to Rewriting calculus with(out) types (Q2851046):
Displaying 13 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- The simply typed rewriting calculus (Q2703689) (← links)
- From Rogue to MicroRogue (Q2849859) (← links)
- The polymorphic rewriting-calculus [type checking vs. type inference] (Q2849860) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Distributive \(\rho\)-calculus (Q2873778) (← links)
- A calculus with polymorphic and polyvariant flow types (Q4542147) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Types for Proofs and Programs (Q5712302) (← links)