The following pages link to Types for Proofs and Programs (Q5712302):
Displayed 6 items.
- Lambda calculus with patterns (Q930865) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- Distributive ρ-calculus (Q2873778) (← links)