Thomas Ehrhard

99 papers A* 12A 2B 13C 3Misc 1Journal 56Unranked 11

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	J	`jnl`	Coherent Taylor expansion as a bimonad. Math. Struct. Comput. Sci. Thomas Ehrhard, Aymeric Walch
2025	—	`conf`	Estimating the Electoral Consequences of Legislative Redistricting in France. FAccT Evripidis Bampis, Thomas Ehrhard, Bruno Escoffier, Claire Mathieu, Fanny Pascual, David Saulpic
2025	J	`jnl`	Integration in Cones. Log. Methods Comput. Sci. Thomas Ehrhard, Guillaume Geoffroy
2025	A*	`conf`	On the denotation of circular and non-wellfounded proofs in linear logic with fixed points. LICS Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin
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`	Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference. CoRR Thomas Ehrhard, Claudia Faggian, Michele Pagani
2024	J	`jnl`	From Differential Linear Logic to Coherent Differentiation. CoRR Thomas Ehrhard
2023	J	`jnl`	A coherent differential PCF. Log. Methods Comput. Sci. Thomas Ehrhard
2023	A*	`conf`	Cartesian Coherent Differential Categories. LICS Thomas Ehrhard, Aymeric Walch
2023	J	`jnl`	Cartesian Coherent Differential Categories. CoRR Thomas Ehrhard, Aymeric Walch
2023	J	`jnl`	Coherent Taylor expansion as a bimonad. CoRR Thomas Ehrhard, Aymeric Walch
2023	J	`jnl`	Coherent differentiation. Math. Struct. Comput. Sci. Thomas Ehrhard
2023	B	`conf`	The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. FSCD Thomas Ehrhard, Claudia Faggian, Michele Pagani
2022	J	`jnl`	A coherent differential PCF. CoRR Thomas Ehrhard
2022	J	`jnl`	Differentials and distances in probabilistic coherence spaces. Log. Methods Comput. Sci. Thomas Ehrhard
2022	J	`jnl`	Integration in Cones. CoRR Thomas Ehrhard, Guillaume Geoffroy
2021	A*	`conf`	Categorical models of Linear Logic with fixed points of formulas. LICS Thomas Ehrhard, Farzad Jafarrahmani
2021	J	`jnl`	Coherent differentiation. CoRR Thomas Ehrhard
2020	J	`jnl`	A calculus of branching processes. Theor. Comput. Sci. Thomas Ehrhard, Jean Krivine, Ying Jiang
2020	J	`jnl`	Categorical models of Linear Logic with fixed points of formulas. CoRR Thomas Ehrhard, Farzad Jafarrahmani
2020	A*	`conf`	Cones as a model of intuitionistic linear logic. LICS Thomas Ehrhard
2020	J	`jnl`	Differentials and distances in probabilistic coherence spaces (extended version). CoRR Thomas Ehrhard
2020	B	`conf`	Non-idempotent Intersection Types in Logical Form. FoSSaCS Thomas Ehrhard
2020	J	`jnl`	On the linear structure of cones. CoRR Thomas Ehrhard
2020	J	`jnl`	Upper approximating probabilities of convergence in probabilistic coherence spaces. CoRR Thomas Ehrhard
2019	J	`jnl`	A fully abstract semantics for value-passing CCS for trees. Frontiers Comput. Sci. Ying Jiang, Shichao Liu, Thomas Ehrhard
2019	B	`conf`	Differentials and Distances in Probabilistic Coherence Spaces. FSCD Thomas Ehrhard
2019	J	`jnl`	Differentials and distances in probabilistic coherence spaces. CoRR Thomas Ehrhard
2019	J	`jnl`	Non-idempotent intersection types in logical form. CoRR Thomas Ehrhard
2019	J	`jnl`	On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. CoRR Thomas Ehrhard, Farzad Jafar-Rahmani
2019	J	`jnl`	Probabilistic call by push value. Log. Methods Comput. Sci. Thomas Ehrhard, Christine Tasson
2019	—	`ed.`	Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. Linearity-TLLA@FLoC Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco
2018	J	`jnl`	An introduction to differential linear logic: proof-nets, models and antiderivatives. Math. Struct. Comput. Sci. Thomas Ehrhard
2018	J	`jnl`	Full Abstraction for Probabilistic PCF. J. ACM Thomas Ehrhard, Michele Pagani, Christine Tasson
2018	J	`jnl`	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proc. ACM Program. Lang. Thomas Ehrhard, Michele Pagani, Christine Tasson
2017	A	`conf`	Incremental Update for Graph Rewriting. ESOP Pierre Boutillier, Thomas Ehrhard, Jean Krivine
2017	J	`jnl`	Measurable Cones and Stable, Measurable Functions. CoRR Thomas Ehrhard, Michele Pagani, Christine Tasson
2017	B	`conf`	The Free Exponential Modality of Probabilistic Coherence Spaces. FoSSaCS Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
2016	J	`jnl`	A Fully Abstract Semantics for Value-passing CCS for Trees. CoRR Shichao Liu, Thomas Ehrhard, Ying Jiang
2016	J	`jnl`	An introduction to Differential Linear Logic: proof-nets, models and antiderivatives. CoRR Thomas Ehrhard
2016	A	`conf`	Call-By-Push-Value from a Linear Logic Point of View. ESOP Thomas Ehrhard
2016	J	`jnl`	Probabilistic call by push value. CoRR Thomas Ehrhard, Christine Tasson
2016	C	`conf`	The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. PPDP Thomas Ehrhard, Giulio Guerrieri
2015	J	`jnl`	Full abstraction for probabilistic PCF. CoRR Thomas Ehrhard, Michele Pagani, Christine Tasson
2014	—	`conf`	A new correctness criterion for MLL proof nets. CSL-LICS Thomas Ehrhard
2014	A*	`conf`	Probabilistic coherence spaces are fully abstract for probabilistic PCF. POPL Thomas Ehrhard, Christine Tasson, Michele Pagani
2013	J	`jnl`	CCS for Trees. CoRR Thomas Ehrhard, Ying Jiang
2012	J	`jnl`	A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Log. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2012	B	`conf`	Collapsing non-idempotent intersection types. CSL Thomas Ehrhard
2012	J	`jnl`	Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion Log. Methods Comput. Sci. Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2012	J	`jnl`	The Scott model of linear logic is the extensional collapse of its relational model. Theor. Comput. Sci. Thomas Ehrhard
2012	—	`conf`	The stack calculus LSFA Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2011	B	`conf`	Full Abstraction for Resource Calculus with Tests. CSL Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2011	J	`jnl`	Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. Vincent Danos, Thomas Ehrhard
2011	B	`conf`	Resource Lambda-Calculus: the Differential Viewpoint. CSL Thomas Ehrhard
2011	A*	`conf`	The Computational Meaning of Probabilistic Coherence Spaces. LICS Thomas Ehrhard, Michele Pagani, Christine Tasson
2010	A*	`conf`	A Finiteness Structure on Resource Terms. LICS Thomas Ehrhard
2010	J	`jnl`	A convenient differential category CoRR Richard Blute, Thomas Ehrhard, Christine Tasson
2010	J	`jnl`	A finiteness structure on resource terms CoRR Thomas Ehrhard
2010	J	`jnl`	Acyclic Solos and Differential Interaction Nets Log. Methods Comput. Sci. Thomas Ehrhard, Olivier Laurent
2010	B	`conf`	Categorical Models for Simply Typed Resource Calculi. MFPS Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2010	B	`conf`	Exponentials with Infinite Multiplicities. CSL Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2010	J	`jnl`	Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. Thomas Ehrhard, Olivier Laurent
2010	B	`conf`	Resource Combinatory Algebras. MFCS Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2009	Misc	`conf`	A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2009	—	`conf`	On Linear Information Systems LINEARITY Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2008	—	`conf`	Differential Linear Logic and Processes. IFIP TCS Thomas Ehrhard
2008	J	`jnl`	Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. Thomas Ehrhard, Laurent Regnier
2007	B	`conf`	Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR Thomas Ehrhard, Olivier Laurent
2007	B	`conf`	Not Enough Points Is Enough. CSL Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2006	C	`conf`	Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. CiE Thomas Ehrhard, Laurent Regnier
2006	J	`jnl`	Differential interaction nets. Theor. Comput. Sci. Thomas Ehrhard, Laurent Regnier
2005	J	`jnl`	Finiteness spaces. Math. Struct. Comput. Sci. Thomas Ehrhard
2004	J	`jnl`	A completeness theorem for symmetric product phase spaces. J. Symb. Log. Thomas Ehrhard
2004	C	`conf`	Differential Interaction Nets. WoLLIC Thomas Ehrhard, Laurent Regnier
2003	J	`jnl`	The differential lambda-calculus. Theor. Comput. Sci. Thomas Ehrhard, Laurent Regnier
2002	J	`jnl`	On Köthe Sequence Spaces and Linear Logic. Math. Struct. Comput. Sci. Thomas Ehrhard
2001	J	`jnl`	On phase semantics and denotational semantics: the exponentials. Ann. Pure Appl. Log. Antonio Bucciarelli, Thomas Ehrhard
2000	J	`jnl`	On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. Ann. Pure Appl. Log. Antonio Bucciarelli, Thomas Ehrhard
2000	J	`jnl`	Parallel and serial hypercoherences. Theor. Comput. Sci. Thomas Ehrhard
1999	J	`jnl`	A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Inf. Comput. Thomas Ehrhard
1999	—	`conf`	Quantitative Semantics Revisited. TLCA Nuno Barreiro, Thomas Ehrhard
1998	—	`conf`	A relative PCF-definability result for strongly stable functions and some corollaries. Workshop on Domains Thomas Ehrhard
1998	J	`jnl`	Foreword. Math. Struct. Comput. Sci. Thomas Ehrhard, Yves Lafont, Laurent Regnier
1997	A*	`conf`	Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. LICS Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1997	B	`conf`	Timeless Games. CSL Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1996	J	`jnl`	Projecting Sequential Algorithms on Strongly Stable Functions. Ann. Pure Appl. Log. Thomas Ehrhard
1994	A*	`conf`	On Strong Stability and Higher-Order Sequentiality LICS Loïc Colson, Thomas Ehrhard
1994	J	`jnl`	Sequentiality in an Extensional Framework Inf. Comput. Antonio Bucciarelli, Thomas Ehrhard
1993	J	`jnl`	A Theory of Sequentiality. Theor. Comput. Sci. Antonio Bucciarelli, Thomas Ehrhard
1993	J	`jnl`	Hypercoherences: A Strongly Stable Model of Linear Logic. Math. Struct. Comput. Sci. Thomas Ehrhard
1991	A*	`conf`	Extensional Embedding of a Strongly Stable Model of PCF. ICALP Antonio Bucciarelli, Thomas Ehrhard
1991	A*	`conf`	Sequentiality and Strong Stability LICS Antonio Bucciarelli, Thomas Ehrhard
1991	—	`conf`	Stone Duality for Stable Functions. Category Theory and Computer Science Thomas Ehrhard, Pasquale Malacaria
1989	—	`conf`	Dictoses. Category Theory and Computer Science Thomas Ehrhard
1988	A*	`conf`	A Categorical Semantics of Constructions LICS Thomas Ehrhard
1987	—	`conf`	An Equational Presentation of Higher Order Logic. Category Theory and Computer Science Thierry Coquand, Thomas Ehrhard