The following pages link to (Q4681363):
Displaying 10 items.
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← 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)
- Elementary complexity and geometry of interaction (Q2708316) (← links)
- Principal Typings for Explicit Substitutions Calculi (Q3507473) (← links)
- The complexity of principal inhabitation (Q5111311) (← links)
- Typed Lambda Calculi and Applications (Q5704005) (← links)
- Typed Lambda Calculi and Applications (Q5704029) (← links)