`Travelled to:`

1 × Japan

1 × Spain

1 × USA

2 × Poland

`Collaborated with:`

S.R.D.Rocca S.Martini U.D.Lago P.Baillot A.Asperti

`Talks about:`

elementari (4) logic (4) optim (2) affin (2) type (2) constraint (1) calculus (1) princip (1) complex (1) complet (1)

## Person: Paolo Coppola

### DBLP: Coppola:Paolo

### Contributed to:

### Wrote 5 papers:

- LICS-2007-BaillotCL #complexity #logic #reduction
- Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.
- TLCA-2005-CoppolaLR #call-by #logic #λ-calculus
- Elementary Affine Logic and the Call-by-Value λ Calculus (PC, UDL, SRDR), pp. 131–145.
- TLCA-2003-CoppolaR #logic #type system
- Principal Typing in Elementary Affine Logic (PC, SRDR), pp. 90–104.
- TLCA-2001-CoppolaM #constraints #linear #logic #type system
- Typing λ Terms in Elementary Logic with Linear Constraints (PC, SM), pp. 76–90.
- POPL-2000-AspertiCM #recursion
- (Optimal) Duplication is not Elementary Recursive (AA, PC, SM), pp. 96–107.