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: Guglielmi:Alessio
Contributed to:
2010
2010
2003
200119942017Wrote 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.