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:
2011
2001199919961995Wrote 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.