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 × India
1 × Italy
2 × United Kingdom
Collaborated with:
L.Straßburger T.Gundersen P.Bruscoli M.Parigot A.A.Tubella B.Ralph
Talks about:
proof (3) logic (3) calculus (2) program (2) bureaucraci (1) structur (1) sequenti (1) theoret (1) syntact (1) languag (1)

Person: Alessio Guglielmi

DBLP DBLP: Guglielmi:Alessio

Contributed to:

LICS 20102010
RTA 20102010
ICLP 20032003
CSL 20012001
ICLP 19941994
CSL 20172017

Wrote 6 papers:

LICS-2010-GuglielmiGS #logic
Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.
RTA-2010-GuglielmiGP #calculus #proving
A Proof Calculus Which Reduces Syntactic Bureaucracy (AG, TG, MP), pp. 135–150.
ICLP-2003-BruscoliG #logic programming #proving #tutorial
A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
CSL-2001-GuglielmiS #calculus #commutative
Non-commutativity and MELL in the Calculus of Structures (AG, LS), pp. 54–68.
ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
CSL-2017-TubellaGR #proving
Removing Cycles from Proofs (AAT, AG, BR), p. 17.

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.