The following pages link to Pattern Calculus (Q3629217):
Displaying 14 items.
- Conflicting accounts of \(\lambda\)-definability (Q511925) (← links)
- On abstract normalisation beyond neededness (Q683744) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Continuation Models for the Lambda Calculus With Constructors (Q3178293) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- First-class patterns (Q3616447) (← links)
- (Q4580227) (← links)
- (Q5013873) (← links)
