Claudia Faggian

56 papers A* 7A 2B 14C 1Journal 26Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference. CoRR Rémi Di Guardia, Thomas Ehrhard, Jérôme Evrard, Claudia Faggian
2025	B	`conf`	A Rewriting Theory for Quantum λ-Calculus. CSL Claudia Faggian, Gaetan Lopez, Benoît Valiron
2025	—	`conf`	Variable Elimination as Rewriting in a Linear Lambda Calculus. ESOP (1) Thomas Ehrhard, Claudia Faggian, Michele Pagani
2025	J	`jnl`	Variable Elimination as Rewriting in a Linear Lambda Calculus. CoRR Thomas Ehrhard, Claudia Faggian, Michele Pagani
2024	J	`jnl`	A Rewriting Theory for Quantum Lambda-Calculus. CoRR Claudia Faggian, Gaetan Lopez, Benoît Valiron
2024	J	`jnl`	Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference. CoRR Thomas Ehrhard, Claudia Faggian, Michele Pagani
2024	J	`jnl`	Higher Order Bayesian Networks, Exactly. Proc. ACM Program. Lang. Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
2023	B	`conf`	Asymptotic Rewriting (Invited Talk). CSL Claudia Faggian
2023	J	`jnl`	Higher-Order Bayesian Networks, Exactly (Extended version). CoRR Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
2023	J	`jnl`	Normal Form Bisimulations By Value. CoRR Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot
2023	B	`conf`	The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. FSCD Thomas Ehrhard, Claudia Faggian, Michele Pagani
2022	J	`jnl`	On reduction and normalization in the computational core. Math. Struct. Comput. Sci. Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2022	J	`jnl`	Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms. Log. Methods Comput. Sci. Claudia Faggian
2022	B	`conf`	Strategies for Asymptotic Normalization. FSCD Claudia Faggian, Giulio Guerrieri
2022	J	`jnl`	Strategies for Asymptotic Normalization. CoRR Claudia Faggian, Giulio Guerrieri
2021	A*	`conf`	A Relational Theory of Monadic Rewriting Systems, Part I. LICS Francesco Gavazzo, Claudia Faggian
2021	J	`jnl`	Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). CoRR Claudia Faggian, Giulio Guerrieri
2021	B	`conf`	Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. FoSSaCS Claudia Faggian, Giulio Guerrieri
2021	B	`conf`	Factorize Factorization. CSL Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
2021	J	`jnl`	Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2021	J	`jnl`	On reduction and normalization in the computational core. CoRR Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2020	J	`jnl`	Factorize Factorization. CoRR Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
2020	J	`jnl`	Intersection Types and (Positive) Almost-Sure Termination. CoRR Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2020	B	`conf`	Solvability in a Probabilistic Setting (Invited Talk). FSCD Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
2019	B	`conf`	Factorization and Normalization, Essentially. APLAS Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
2019	J	`jnl`	Factorization and Normalization, Essentially. CoRR Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
2019	A*	`conf`	Lambda Calculus and Probabilistic Computation. LICS Claudia Faggian, Simona Ronchi Della Rocca
2019	J	`jnl`	Lambda Calculus and Probabilistic Computation. CoRR Claudia Faggian, Simona Ronchi Della Rocca
2019	B	`conf`	Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms. FSCD Claudia Faggian
2018	J	`jnl`	Probabilistic Rewriting: Relations between Normalization, Termination, and Unique Normal Forms. CoRR Claudia Faggian
2017	A*	`conf`	The geometry of parallelism: classical, probabilistic, and quantum effects. POPL Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2016	J	`jnl`	The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2015	J	`jnl`	Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2015	A*	`conf`	Parallelism and Synchronization in an Infinitary Context. LICS Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2014	A	`conf`	Measurements in Proof Nets as Higher-Order Quantum Circuits. ESOP Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
2014	J	`jnl`	The Geometry of Synchronization (Long Version). CoRR Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2014	—	`conf`	The geometry of synchronization. CSL-LICS Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2012	J	`jnl`	An approach to innocent strategies as graphs. Inf. Comput. Pierre-Louis Curien, Claudia Faggian
2011	J	`jnl`	Ludics with repetitions (Exponentials, Interactive types and Completeness) Log. Methods Comput. Sci. Michele Basaldella, Claudia Faggian
2011	—	`conf`	On Multiplicative Linear Logic, Modality and Quantum Circuits QPL Ugo Dal Lago, Claudia Faggian
2009	A*	`conf`	Ludics with Repetitions (Exponentials, Interactive Types and Completeness). LICS Michele Basaldella, Claudia Faggian
2009	—	`conf`	Partial Orders, Event Structures and Linear Strategies. TLCA Claudia Faggian, Mauro Piccolo
2008	J	`jnl`	Proof nets sequentialisation in multiplicative linear logic. Ann. Pure Appl. Log. Paolo Di Giamberardino, Claudia Faggian
2007	—	`conf`	Ludics is a Model for the Finitary Linear Pi-Calculus. TLCA Claudia Faggian, Mauro Piccolo
2006	—	`conf`	A Graph Abstract Machine Describing Event Structure Composition. GT-VC@CONCUR Claudia Faggian, Mauro Piccolo
2006	J	`jnl`	Interactive observability in Ludics: The geometry of tests. Theor. Comput. Sci. Claudia Faggian
2006	B	`conf`	Jump from Parallel to Sequential Proofs: Multiplicatives. CSL Paolo Di Giamberardino, Claudia Faggian
2005	B	`conf`	L-Nets, Strategies and Proof-Nets. CSL Pierre-Louis Curien, Claudia Faggian
2005	A*	`conf`	Ludics Nets, a game Model of Concurrent Interaction. LICS Claudia Faggian, François Maurel
2004	A*	`conf`	Interactive Observability in Ludics. ICALP Claudia Faggian
2002	B	`conf`	Designs, Disputes and Strategies. CSL Claudia Faggian, Martin Hyland
2002	B	`conf`	Travelling on Designs. CSL Claudia Faggian
2000	J	`jnl`	Basic Logic: Reflection, Symmetry, Visibility. J. Symb. Log. Giovanni Sambin, Giulia Battilotti, Claudia Faggian
2000	C	`conf`	Proof construction and non-commutativity: a cluster calculus. PPDP Claudia Faggian
1998	A	`conf`	A Term Calculus for Unitary Approach to Nomalization. ICFP Claudia Faggian
1997	B	`conf`	Classical Proofs via Basic Logic. CSL Claudia Faggian