The following pages link to Paolo Coppola (Q627122):
Displayed 9 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- (Optimal) duplication is not elementary recursive (Q1881231) (← links)
- (Q2778817) (← links)
- Light Logics and the Call-by-Value Lambda Calculus (Q3623002) (← links)
- (Q4457451) (← links)
- (Q4681363) (← links)
- (Optimal) duplication is not elementary recursive (Q5178845) (← links)
- Optimizing optimal reduction (Q5277747) (← links)
- Typed Lambda Calculi and Applications (Q5704005) (← links)