Thomas Ehrhard

Available identifiers

zbMath Open ehrhard.thomasMaRDI QIDQ195006

List of research outcomes

Publication	Date of Publication	Type
Coherent differentiation	2024-03-05	Paper
A coherent differential PCF	2024-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5101335	2022-08-30	Paper
Dictoses	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5089018	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4992396	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5150151	2021-02-09	Paper
Cones as a model of intuitionistic linear logic	2021-01-21	Paper
Non-idempotent intersection types in logical form	2020-09-23	Paper
A calculus of branching processes	2020-01-22	Paper
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas	2019-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4611384	2019-01-18	Paper
Full Abstraction for Probabilistic PCF	2018-12-06	Paper
An introduction to differential linear logic: proof-nets, models and antiderivatives	2018-08-07	Paper
A new correctness criterion for MLL proof nets	2018-04-23	Paper
The Free Exponential Modality of Probabilistic Coherence Spaces	2017-05-19	Paper
Incremental Update for Graph Rewriting	2017-05-19	Paper
Categorical Models for Simply Typed Resource Calculi	2016-07-08	Paper
Call-By-Push-Value from a Linear Logic Point of View	2016-04-26	Paper
Probabilistic coherence spaces are fully abstract for probabilistic PCF	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4904081	2013-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4649551	2012-11-22	Paper
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion	2012-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q2915676	2012-09-18	Paper
The Scott model of linear logic is the extensional collapse of its relational model	2012-05-14	Paper
A relational semantics for parallelism and non-determinism in a functional setting	2012-04-10	Paper
Probabilistic coherence spaces as a model of higher-order probabilistic computation	2011-07-08	Paper
Acyclic Solos and Differential Interaction Nets	2010-09-21	Paper
Exponentials with Infinite Multiplicities	2010-09-03	Paper
Resource Combinatory Algebras	2010-09-03	Paper
Interpreting a finitary pi-calculus in differential interaction nets	2010-06-25	Paper
Not Enough Points Is Enough	2009-03-05	Paper
A Relational Model of a Parallel and Non-deterministic λ-Calculus	2009-02-24	Paper
Interpreting a Finitary Pi-calculus in Differential Interaction Nets	2008-09-18	Paper
Uniformity and the Taylor expansion of ordinary lambda-terms	2008-09-16	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Differential interaction nets	2007-01-09	Paper
Finiteness spaces	2005-10-18	Paper
A completeness theorem for symmetric product phase spaces	2005-08-29	Paper
The differential lambda-calculus	2004-10-27	Paper
On Köthe sequence spaces and linear logic	2003-02-17	Paper
On phase semantics and denotational semantics: The exponentials	2003-02-03	Paper
A relative PCF-definability result for strongly stable functions and some corollaries	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4513578	2001-02-28	Paper
On phase semantics and denotational semantics in multiplicative-additive linear logic	2000-12-06	Paper
Parallel and serial hypercoherences	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263861	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4218922	1999-03-18	Paper
Projecting sequential algorithms on strongly stable functions	1996-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4842969	1995-08-16	Paper
Sequentiality in an extensional framework	1994-07-18	Paper
Localisation and interaction in one dimension	1994-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4282565	1994-04-17	Paper
A theory of sequentiality	1993-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4036551	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3784072	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Ehrhard