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 × Austria
1 × Brazil
1 × Denmark
1 × Finland
1 × Hungary
1 × Japan
2 × France
2 × United Kingdom
3 × USA
Collaborated with:
U.D.Lago A.Yoshimizu M.Piccolo B.Valiron I.Hasuo M.Basaldella P.D.Giamberardino P.Curien F.Maurel M.Hyland
Talks about:
proof (5) ludic (4) net (4) strategi (3) parallel (3) interact (3) calculus (3) synchron (2) geometri (2) quantum (2)

Person: Claudia Faggian

DBLP DBLP: Faggian:Claudia

Contributed to:

LICS 20152015
ESOP 20142014
CSL-LICS 20142014
LICS 20092009
TLCA 20092009
TLCA 20072007
CSL 20062006
CSL 20052005
LICS 20052005
ICALP 20042004
CSL 20022002
PPDP 20002000
ICFP 19981998
CSL 19971997
POPL 20172017

Wrote 16 papers:

LICS-2015-LagoFVY #parallel
Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
ESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum
Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.
LICS-CSL-2014-LagoFHY #geometry
The geometry of synchronization (UDL, CF, IH, AY), p. 10.
LICS-2009-BasaldellaF #exponential #interactive
Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.
TLCA-2009-FaggianP #linear #partial order
Partial Orders, Event Structures and Linear Strategies (CF, MP), pp. 95–111.
TLCA-2007-FaggianP #linear #π-calculus
Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
CSL-2006-GiamberardinoF #parallel #proving
Jump from Parallel to Sequential Proofs: Multiplicatives (PDG, CF), pp. 319–333.
L-Nets, Strategies and Proof-Nets (PLC, CF), pp. 167–183.
LICS-2005-FaggianM #concurrent #game studies #interactive
Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
ICALP-2004-Faggian #interactive
Interactive Observability in Ludics (CF), pp. 506–518.
CSL-2002-Faggian #design
Travelling on Designs (CF), pp. 427–441.
CSL-2002-FaggianH #design
Designs, Disputes and Strategies (CF, MH), pp. 442–457.
PPDP-2000-Faggian #calculus #clustering #commutative #proving
Proof construction and non-commutativity: a cluster calculus (CF), pp. 80–91.
ICFP-1998-Faggian #approach #calculus
A Term Calculus for Unitary Approach to Nomalization (CF), p. 347.
CSL-1997-Faggian #logic #proving
Classical Proofs via Basic Logic (CF), pp. 203–219.
POPL-2017-LagoFVY #geometry #parallel #probability #quantum
The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.

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.