Thomas Ehrhard

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 36

Top Topics

Cut Elimination

Approximate Value Iteration

Correctness Criterion

Top Venues

Log. Methods Comput. Sci.

Publications

Thomas Ehrhard
From Differential Linear Logic to Coherent Differentiation. CoRR (2024)
Thomas Ehrhard, Claudia Faggian, Michele Pagani
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. FSCD (2023)
Thomas Ehrhard, Aymeric Walch
Cartesian Coherent Differential Categories. CoRR (2023)
Thomas Ehrhard
Coherent differentiation. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Thomas Ehrhard, Aymeric Walch
Cartesian Coherent Differential Categories. LICS (2023)
Thomas Ehrhard
A coherent differential PCF. Log. Methods Comput. Sci. 19 (4) (2023)
Thomas Ehrhard, Aymeric Walch
Coherent Taylor expansion as a bimonad. CoRR (2023)
Thomas Ehrhard, Guillaume Geoffroy
Integration in Cones. CoRR (2022)
Thomas Ehrhard
Differentials and distances in probabilistic coherence spaces. Log. Methods Comput. Sci. 18 (3) (2022)
Thomas Ehrhard
A coherent differential PCF. CoRR (2022)
Thomas Ehrhard
Coherent differentiation. CoRR (2021)
Thomas Ehrhard, Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas. LICS (2021)
Thomas Ehrhard
Cones as a model of intuitionistic linear logic. LICS (2020)
Thomas Ehrhard
On the linear structure of cones. CoRR (2020)
Thomas Ehrhard
Differentials and distances in probabilistic coherence spaces (extended version). CoRR (2020)
Thomas Ehrhard, Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas. CoRR (2020)
Thomas Ehrhard
Non-idempotent Intersection Types in Logical Form. FoSSaCS (2020)
Thomas Ehrhard, Jean Krivine, Ying Jiang
A calculus of branching processes. Theor. Comput. Sci. 807 (2020)
Thomas Ehrhard
Upper approximating probabilities of convergence in probabilistic coherence spaces. CoRR (2020)
Ying Jiang, Shichao Liu, Thomas Ehrhard
A fully abstract semantics for value-passing CCS for trees. Frontiers Comput. Sci. 13 (4) (2019)
Thomas Ehrhard
Differentials and Distances in Probabilistic Coherence Spaces. FSCD (2019)
Thomas Ehrhard
Non-idempotent intersection types in logical form. CoRR (2019)
Thomas Ehrhard
Differentials and distances in probabilistic coherence spaces. CoRR (2019)
Thomas Ehrhard, Christine Tasson
Probabilistic call by push value. Log. Methods Comput. Sci. 15 (1) (2019)
Thomas Ehrhard, Farzad Jafar-Rahmani
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. CoRR (2019)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proc. ACM Program. Lang. 2 (POPL) (2018)
Thomas Ehrhard
An introduction to differential linear logic: proof-nets, models and antiderivatives. Math. Struct. Comput. Sci. 28 (7) (2018)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Full Abstraction for Probabilistic PCF. J. ACM 65 (4) (2018)
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
The Free Exponential Modality of Probabilistic Coherence Spaces. FoSSaCS (2017)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Measurable Cones and Stable, Measurable Functions. CoRR (2017)
Pierre Boutillier, Thomas Ehrhard, Jean Krivine
Incremental Update for Graph Rewriting. ESOP (2017)
Shichao Liu, Thomas Ehrhard, Ying Jiang
A Fully Abstract Semantics for Value-passing CCS for Trees. CoRR (2016)
Thomas Ehrhard, Giulio Guerrieri
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. PPDP (2016)
Thomas Ehrhard
Call-By-Push-Value from a Linear Logic Point of View. ESOP (2016)
Thomas Ehrhard
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives. CoRR (2016)
Thomas Ehrhard, Christine Tasson
Probabilistic call by push value. CoRR (2016)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Full abstraction for probabilistic PCF. CoRR (2015)
Thomas Ehrhard
A new correctness criterion for MLL proof nets. CSL-LICS (2014)
Thomas Ehrhard, Christine Tasson, Michele Pagani
Probabilistic coherence spaces are fully abstract for probabilistic PCF. POPL (2014)
Thomas Ehrhard, Ying Jiang
CCS for Trees. CoRR (2013)
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Log. 163 (7) (2012)
Thomas Ehrhard
Collapsing non-idempotent intersection types. CSL (2012)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
The stack calculus LSFA (2012)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion Log. Methods Comput. Sci. 8 (4) (2012)
Thomas Ehrhard
The Scott model of linear logic is the extensional collapse of its relational model. Theor. Comput. Sci. 424 (2012)
Thomas Ehrhard, Michele Pagani, Christine Tasson
The Computational Meaning of Probabilistic Coherence Spaces. LICS (2011)
Thomas Ehrhard
Resource Lambda-Calculus: the Differential Viewpoint. CSL (2011)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
Full Abstraction for Resource Calculus with Tests. CSL (2011)
Vincent Danos, Thomas Ehrhard
Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209 (6) (2011)
Thomas Ehrhard, Olivier Laurent
Acyclic Solos and Differential Interaction Nets Log. Methods Comput. Sci. 6 (3) (2010)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Exponentials with Infinite Multiplicities. CSL (2010)
Thomas Ehrhard
A finiteness structure on resource terms CoRR (2010)
Thomas Ehrhard, Olivier Laurent
Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. 208 (6) (2010)
Thomas Ehrhard
A Finiteness Structure on Resource Terms. LICS (2010)
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
Categorical Models for Simply Typed Resource Calculi. MFPS (2010)
Richard Blute, Thomas Ehrhard, Christine Tasson
A convenient differential category CoRR (2010)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Resource Combinatory Algebras. MFCS (2010)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
On Linear Information Systems LINEARITY (2009)
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS (2009)
Thomas Ehrhard
Differential Linear Logic and Processes. IFIP TCS (2008)
Thomas Ehrhard, Laurent Regnier
Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. 403 (2-3) (2008)
Thomas Ehrhard, Olivier Laurent
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR (2007)
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
Not Enough Points Is Enough. CSL (2007)
Thomas Ehrhard, Laurent Regnier
Differential interaction nets. Theor. Comput. Sci. 364 (2) (2006)
Thomas Ehrhard, Laurent Regnier
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. CiE (2006)
Thomas Ehrhard
Finiteness spaces. Math. Struct. Comput. Sci. 15 (4) (2005)
Thomas Ehrhard, Laurent Regnier
Differential Interaction Nets. Electron. Notes Theor. Comput. Sci. 123 (2005)
Thomas Ehrhard
A completeness theorem for symmetric product phase spaces. J. Symb. Log. 69 (2) (2004)
Thomas Ehrhard, Laurent Regnier
The differential lambda-calculus. Theor. Comput. Sci. 309 (1-3) (2003)
Thomas Ehrhard
On Köthe Sequence Spaces and Linear Logic. Math. Struct. Comput. Sci. 12 (5) (2002)
Antonio Bucciarelli, Thomas Ehrhard
On phase semantics and denotational semantics: the exponentials. Ann. Pure Appl. Log. 109 (3) (2001)
Thomas Ehrhard
Parallel and serial hypercoherences. Theor. Comput. Sci. 247 (1-2) (2000)
Antonio Bucciarelli, Thomas Ehrhard
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. Ann. Pure Appl. Log. 102 (3) (2000)
Thomas Ehrhard
A relative PCF-definability result for strongly stable functions and some corollaries. Electron. Notes Theor. Comput. Sci. 35 (2000)
Thomas Ehrhard
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Inf. Comput. 152 (1) (1999)
Nuno Barreiro, Thomas Ehrhard
Quantitative Semantics Revisited. TLCA (1999)
Thomas Ehrhard, Yves Lafont, Laurent Regnier
Foreword. Math. Struct. Comput. Sci. 8 (6) (1998)
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. LICS (1997)
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Timeless Games. CSL (1997)
Thomas Ehrhard
Projecting Sequential Algorithms on Strongly Stable Functions. Ann. Pure Appl. Log. 77 (3) (1996)
Loïc Colson, Thomas Ehrhard
On Strong Stability and Higher-Order Sequentiality LICS (1994)
Antonio Bucciarelli, Thomas Ehrhard
Sequentiality in an Extensional Framework Inf. Comput. 110 (2) (1994)
Thomas Ehrhard
Hypercoherences: A Strongly Stable Model of Linear Logic. Math. Struct. Comput. Sci. 3 (4) (1993)
Antonio Bucciarelli, Thomas Ehrhard
A Theory of Sequentiality. Theor. Comput. Sci. 113 (2) (1993)
Thomas Ehrhard, Pasquale Malacaria
Stone Duality for Stable Functions. Category Theory and Computer Science (1991)
Antonio Bucciarelli, Thomas Ehrhard
Sequentiality and Strong Stability LICS (1991)
Antonio Bucciarelli, Thomas Ehrhard
Extensional Embedding of a Strongly Stable Model of PCF. ICALP (1991)
Thomas Ehrhard
Dictoses. Category Theory and Computer Science (1989)
Thomas Ehrhard
A Categorical Semantics of Constructions LICS (1988)
Thierry Coquand, Thomas Ehrhard
An Equational Presentation of Higher Order Logic. Category Theory and Computer Science (1987)