The following pages link to (Q2769430):
Displaying 14 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← 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)
- Twenty years of rewriting logic (Q1931904) (← links)
- A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- Certifying Term Rewriting Proofs in ELAN (Q2841249) (← links)
- (Q2851046) (← links)
- A Polymorphic Type System for the Lambda-Calculus with Constructors (Q3637198) (← links)
