The following pages link to Lambda calculus with patterns (Q930865):
Displaying 14 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- (Q2851046) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Distributive ρ-calculus (Q2873778) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- First-class patterns (Q3616447) (← links)
- (Q4580227) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- (Q5856410) (← links)
