`Travelled to:`

1 × France

1 × Serbia

1 × Spain

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

∅ S.R.D.Rocca A.Pravato

`Talks about:`

calculus (3) logic (2) intersect (1) resourc (1) complet (1) categor (1) semant (1) linear (1) proof (1) light (1)

## Person: Luca Roversi

### DBLP: Roversi:Luca

### Contributed to:

### Wrote 5 papers:

- TLCA-2011-Roversi #linear #λ-calculus
- Linear λ Calculus and Deep Inference (LR), pp. 184–197.
- CSL-2001-RoccaR #logic
- Intersection Logic (SRDR, LR), pp. 414–428.
- CSL-1999-Roversi #logic #proving
- A P-Time Completeness Proof for Light Logics (LR), pp. 469–483.
- CSL-1996-Roversi #resource management #λ-calculus
- A Type-Free Resource-Aware λ-Calculus (LR), pp. 399–413.
- TLCA-1995-PravatoRR #call-by #category theory #semantics #λ-calculus
- Categorical semantics of the call-by-value λ-calculus (AP, SRDR, LR), pp. 381–396.