BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Roversi:Luca

Contributed to:

TLCA 20112011
CSL 20012001
CSL 19991999
CSL 19961996
TLCA 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.