Claudia Faggian

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

13h-index589citations66works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(43), Logic, Reasoning, and Knowledge(35), Formal Methods in Verification(19), Computability, Logic, AI Algorithms(9), Advanced Algebra and Logic(6)

Publications66 total

Variable Elimination as Rewriting in a Linear Lambda Calculus
arXiv (Cornell University)·2025Open Access
Variable Elimination as Rewriting in a Linear Lambda Calculus
Lecture notes in computer science·2025Open Access
Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
arXiv (Cornell University)·2024Open Access
A Rewriting Theory for Quantum Lambda-Calculus
arXiv (Cornell University)·2024Open Access
Higher Order Bayesian Networks, Exactly
Proceedings of the ACM on Programming Languages·2024· 4 citedOpen Access
Normal Form Bisimulations By Value
arXiv (Cornell University)·2023· 5 citedOpen Access
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
SPIRE - Sciences Po Institutional REpository·2023· 2 citedOpen Access
On reduction and normalization in the computational core
Mathematical Structures in Computer Science·2022· 7 citedOpen Access
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
Logical Methods in Computer Science·2022· 7 citedOpen Access
Strategies for Asymptotic Normalization
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 1 citedOpen Access
Strategies for Asymptotic Normalization
HAL (Le Centre pour la Communication Scientifique Directe)·2022
On Monadic Rewriting Systems, Part I
Logic in Computer Science·2021
A Relational Theory of Monadic Rewriting Systems, Part I
2021· 3 citedOpen Access
Evaluation and convergence in the computational calculus
HAL (Le Centre pour la Communication Scientifique Directe)·2021
On reduction and normalization in the computational core
arXiv (Cornell University)·2021Open Access
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
2021
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
arXiv (Cornell University)·2021· 1 citedOpen Access
Evaluation in the computational calculus is non-confluent
Institutional Research Information System University of Turin (University of Turin)·2021Open Access
Computational calculus: bridging reduction and evaluation
Institutional Research Information System University of Turin (University of Turin)·2021Open Access
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Lecture notes in computer science·2021· 3 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Ugo Dal Lago(8), Akira Yoshimizu(7), Giulio Guerrieri(7), Benoît Valiron(4), Mauro Piccolo(3), Ichiro Hasuo(3), Beniamino Accattoli(3), Thomas Ehrhard(3), Giulia Battilotti(2), Michele Basaldella(2), Pierre-Louis Curien(2), Marie-Renée Fleury-Donnadieu(2), Myriam Quatrini(2), Paolo Di Giamberardino(2), Giovanni Sambin(1), François Maurel(1), Martin Hyland(1), Ugo de’ Liguoro(1), Riccardo Treglia(1), Adrienne Lancelot(1)