Pages that link to "Item:Q5704005"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704005):
Displayed 4 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Type Inference for a Polynomial Lambda Calculus (Q3638250) (← links)