| 2026 | FSCD | Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. | Rmi Di Guardia, Thomas Ehrhard, Claudia Faggian |
| 2025 | ESOP | Variable Elimination as Rewriting in a Linear Lambda Calculus. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2025 | LICS | On the denotation of circular and non-wellfounded proofs in linear logic with fixed points. | Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin |
| 2023 | FSCD | The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2023 | LICS | Cartesian Coherent Differential Categories. | Thomas Ehrhard, Aymeric Walch |
| 2021 | LICS | Categorical models of Linear Logic with fixed points of formulas. | Thomas Ehrhard, Farzad Jafarrahmani |
| 2020 | FOSSACS | Non-idempotent Intersection Types in Logical Form. | Thomas Ehrhard |
| 2020 | LICS | Cones as a model of intuitionistic linear logic. | Thomas Ehrhard |
| 2017 | ESOP | Incremental Update for Graph Rewriting. | Pierre Boutillier, Thomas Ehrhard, Jean Krivine |
| 2017 | FOSSACS | The Free Exponential Modality of Probabilistic Coherence Spaces. | Raphalle Crubill, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2016 | ESOP | Call-By-Push-Value from a Linear Logic Point of View. | Thomas Ehrhard |
| 2016 | PPDP | The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. | Thomas Ehrhard, Giulio Guerrieri |
| 2014 | CSL | A new correctness criterion for MLL proof nets. | Thomas Ehrhard |
| 2014 | POPL | Probabilistic coherence spaces are fully abstract for probabilistic PCF. | Thomas Ehrhard, Christine Tasson, Michele Pagani |
| 2012 | CSL | Collapsing non-idempotent intersection types. | Thomas Ehrhard |
| 2011 | CSL | Full Abstraction for Resource Calculus with Tests. | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
| 2011 | CSL | Resource Lambda-Calculus: the Differential Viewpoint. | Thomas Ehrhard |
| 2011 | LICS | The Computational Meaning of Probabilistic Coherence Spaces. | Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2010 | CSL | Exponentials with Infinite Multiplicities. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2010 | LICS | A Finiteness Structure on Resource Terms. | Thomas Ehrhard |
| 2010 | MFCS | Resource Combinatory Algebras. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2009 | LFCS | A Relational Model of a Parallel and Non-deterministic lambda-Calculus. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2007 | CONCUR | Interpreting a Finitary Pi-calculus in Differential Interaction Nets. | Thomas Ehrhard, Olivier Laurent |
| 2007 | CSL | Not Enough Points Is Enough. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2006 | CiE | Bhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. | Thomas Ehrhard, Laurent Regnier |
| 1997 | CSL | Timeless Games. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | LICS | Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1994 | LICS | On Strong Stability and Higher-Order Sequentiality | Loc Colson, Thomas Ehrhard |
| 1991 | ICALP | Extensional Embedding of a Strongly Stable Model of PCF. | Antonio Bucciarelli, Thomas Ehrhard |
| 1991 | LICS | Sequentiality and Strong Stability | Antonio Bucciarelli, Thomas Ehrhard |
| 1988 | LICS | A Categorical Semantics of Constructions | Thomas Ehrhard |