An Equational Presentation of Higher Order Logic. - Thierry Coquand; Thomas Ehrhard (Category Theory and Computer Science, 1987)

A Categorical Semantics of Constructions - Thomas Ehrhard (LICS, 1988)

Dictoses. - Thomas Ehrhard (Category Theory and Computer Science, 1989)

Stone Duality for Stable Functions. - Thomas Ehrhard; Pasquale Malacaria (Category Theory and Computer Science, 1991)

Extensional Embedding of a Strongly Stable Model of PCF. - Antonio Bucciarelli; Thomas Ehrhard (ICALP, 1991)

Sequentiality and Strong Stability - Antonio Bucciarelli; Thomas Ehrhard (LICS, 1991)

Hypercoherences: A Strongly Stable Model of Linear Logic. - Thomas Ehrhard (Math. Struct. Comput. Sci., 1993)

A Theory of Sequentiality. - Antonio Bucciarelli; Thomas Ehrhard (Theor. Comput. Sci., 1993)

On Strong Stability and Higher-Order Sequentiality - Loïc Colson; Thomas Ehrhard (LICS, 1994)

Sequentiality in an Extensional Framework - Antonio Bucciarelli; Thomas Ehrhard (Inf. Comput., 1994)

Projecting Sequential Algorithms on Strongly Stable Functions. - Thomas Ehrhard (Ann. Pure Appl. Log., 1996)

Timeless Games. - Patrick Baillot; Vincent Danos; Thomas Ehrhard; Laurent Regnier (CSL, 1997)

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. - Patrick Baillot; Vincent Danos; Thomas Ehrhard; Laurent Regnier (LICS, 1997)

A relative PCF-definability result for strongly stable functions and some corollaries. - Thomas Ehrhard (Workshop on Domains, 1998)

Foreword. - Thomas Ehrhard; Yves Lafont; Laurent Regnier (Math. Struct. Comput. Sci., 1998)

Quantitative Semantics Revisited. - Nuno Barreiro; Thomas Ehrhard (TLCA, 1999)

On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. - Antonio Bucciarelli; Thomas Ehrhard (Ann. Pure Appl. Log., 2000)

Parallel and serial hypercoherences. - Thomas Ehrhard (Theor. Comput. Sci., 2000)

On phase semantics and denotational semantics: the exponentials. - Antonio Bucciarelli; Thomas Ehrhard (Ann. Pure Appl. Log., 2001)

On Köthe Sequence Spaces and Linear Logic. - Thomas Ehrhard (Math. Struct. Comput. Sci., 2002)

The differential lambda-calculus. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2003)

A completeness theorem for symmetric product phase spaces. - Thomas Ehrhard (J. Symb. Log., 2004)

Finiteness spaces. - Thomas Ehrhard (Math. Struct. Comput. Sci., 2005)

Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. - Thomas Ehrhard; Laurent Regnier (CiE, 2006)

Differential interaction nets. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2006)

Not Enough Points Is Enough. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (CSL, 2007)

Differential Linear Logic and Processes. - Thomas Ehrhard (IFIP TCS, 2008)

Uniformity and the Taylor expansion of ordinary lambda-terms. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2008)

A Relational Model of a Parallel and Non-deterministic lambda-Calculus. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (LFCS, 2009)

On Linear Information Systems - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Antonino Salibra (LINEARITY, 2009)

Exponentials with Infinite Multiplicities. - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (CSL, 2010)

A Finiteness Structure on Resource Terms. - Thomas Ehrhard (LICS, 2010)

Resource Combinatory Algebras. - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (MFCS, 2010)

A convenient differential category - Richard Blute; Thomas Ehrhard; Christine Tasson (CoRR, 2010)

Acyclic Solos and Differential Interaction Nets - Thomas Ehrhard; Olivier Laurent 001 (Log. Methods Comput. Sci., 2010)

Categorical Models for Simply Typed Resource Calculi. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (MFPS, 2010)

Interpreting a finitary pi-calculus in differential interaction nets. - Thomas Ehrhard; Olivier Laurent 001 (Inf. Comput., 2010)

Full Abstraction for Resource Calculus with Tests. - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (CSL, 2011)

Resource Lambda-Calculus: the Differential Viewpoint. - Thomas Ehrhard (CSL, 2011)

The Computational Meaning of Probabilistic Coherence Spaces. - Thomas Ehrhard; Michele Pagani; Christine Tasson (LICS, 2011)

Probabilistic coherence spaces as a model of higher-order probabilistic computation. - Vincent Danos; Thomas Ehrhard (Inf. Comput., 2011)

Collapsing non-idempotent intersection types. - Thomas Ehrhard (CSL, 2012)

A relational semantics for parallelism and non-determinism in a functional setting. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (Ann. Pure Appl. Log., 2012)

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (Log. Methods Comput. Sci., 2012)

The stack calculus - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (LSFA, 2012)

The Scott model of linear logic is the extensional collapse of its relational model. - Thomas Ehrhard (Theor. Comput. Sci., 2012)

CCS for Trees. - Thomas Ehrhard; Ying Jiang (CoRR, 2013)

A new correctness criterion for MLL proof nets. - Thomas Ehrhard (CSL-LICS, 2014)

Probabilistic coherence spaces are fully abstract for probabilistic PCF. - Thomas Ehrhard; Christine Tasson; Michele Pagani (POPL, 2014)

Call-By-Push-Value from a Linear Logic Point of View. - Thomas Ehrhard (ESOP, 2016)

The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. - Thomas Ehrhard; Giulio Guerrieri (PPDP, 2016)

Incremental Update for Graph Rewriting. - Pierre Boutillier; Thomas Ehrhard; Jean Krivine (ESOP, 2017)

The Free Exponential Modality of Probabilistic Coherence Spaces. - Raphaëlle Crubillé; Thomas Ehrhard; Michele Pagani; Christine Tasson (FoSSaCS, 2017)

Measurable Cones and Stable, Measurable Functions. - Thomas Ehrhard; Michele Pagani; Christine Tasson (CoRR, 2017)

Full Abstraction for Probabilistic PCF. - Thomas Ehrhard; Michele Pagani; Christine Tasson (J. ACM, 2018)

An introduction to differential linear logic: proof-nets, models and antiderivatives. - Thomas Ehrhard (Math. Struct. Comput. Sci., 2018)

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. - Thomas Ehrhard; Michele Pagani; Christine Tasson (Proc. ACM Program. Lang., 2018)

On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. - Thomas Ehrhard; Farzad Jafar-Rahmani (CoRR, 2019)

A fully abstract semantics for value-passing CCS for trees. - Ying Jiang; Shichao Liu; Thomas Ehrhard (Frontiers Comput. Sci., 2019)

Probabilistic call by push value. - Thomas Ehrhard; Christine Tasson (Log. Methods Comput. Sci., 2019)

Non-idempotent Intersection Types in Logical Form. - Thomas Ehrhard (FoSSaCS, 2020)

Cones as a model of intuitionistic linear logic. - Thomas Ehrhard (LICS, 2020)

On the linear structure of cones. - Thomas Ehrhard (CoRR, 2020)

Differentials and distances in probabilistic coherence spaces (extended version). - Thomas Ehrhard (CoRR, 2020)

Upper approximating probabilities of convergence in probabilistic coherence spaces. - Thomas Ehrhard (CoRR, 2020)

A calculus of branching processes. - Thomas Ehrhard; Jean Krivine; Ying Jiang (Theor. Comput. Sci., 2020)

Categorical models of Linear Logic with fixed points of formulas. - Thomas Ehrhard; Farzad Jafarrahmani (LICS, 2021)

Differentials and distances in probabilistic coherence spaces. - Thomas Ehrhard (Log. Methods Comput. Sci., 2022)

The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. - Thomas Ehrhard; Claudia Faggian; Michele Pagani (FSCD, 2023)

Cartesian Coherent Differential Categories. - Thomas Ehrhard; Aymeric Walch (LICS, 2023)

A coherent differential PCF. - Thomas Ehrhard (Log. Methods Comput. Sci., 2023)

Coherent differentiation. - Thomas Ehrhard (Math. Struct. Comput. Sci., 2023)

From Differential Linear Logic to Coherent Differentiation. - Thomas Ehrhard (CoRR, 2024)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference. - Thomas Ehrhard; Claudia Faggian; Michele Pagani (CoRR, 2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus. - Thomas Ehrhard; Claudia Faggian; Michele Pagani (ESOP (1), 2025)

Estimating the Electoral Consequences of Legislative Redistricting in France. - Evripidis Bampis; Thomas Ehrhard; Bruno Escoffier; Claire Mathieu; Fanny Pascual; David Saulpic (FAccT, 2025)

Integration in Cones. - Thomas Ehrhard; Guillaume Geoffroy (Log. Methods Comput. Sci., 2025)

Coherent Taylor expansion as a bimonad. - Thomas Ehrhard; Aymeric Walch (Math. Struct. Comput. Sci., 2025)