The differential lambda-calculus
- T. Ehrhard, L. Regnier
- MathematicsTheoretical Computer Science
- 2 December 2003
Finiteness spaces
- T. Ehrhard
- Mathematics, Computer ScienceMathematical Structures in Computer Science
- 15 July 2005
A new denotational model of linear logic based on the purely relational model, where webs are equipped with a notion of ‘finitary’ subsets satisfying a closure condition and proofs are interpreted as finitary sets is investigated.
Differential Interaction Nets
- T. Ehrhard, L. Regnier
- Computer ScienceWorkshop on Logic, Language, Information and…
- 1 March 2005
Collapsing non-idempotent intersection types
- T. Ehrhard
- Mathematics, Computer ScienceAnnual Conference for Computer Science Logic
- 2012
This work construction of a new model, which features a new duality, is presented, and how to use it for reducing normalization results in idempotent intersection types to purely combinatorial methods is explained.
Uniformity and the Taylor expansion of ordinary lambda-terms
- T. Ehrhard, L. Regnier
- MathematicsTheoretical Computer Science
- 20 August 2008
Probabilistic coherence spaces as a model of higher-order probabilistic computation
- V. Danos, T. Ehrhard
- Computer Science, MathematicsInformation and Computation
- 1 June 2011
Hypercoherences: a strongly stable model of linear logic
- T. Ehrhard
- Computer ScienceMathematical Structures in Computer Science
- 1 December 1993
We present a new model of classical linear logic based on the notion of strong stability that was introduced recently in a work about sequentiality written jointly with Antonio Bucciarelli.
Probabilistic coherence spaces are fully abstract for probabilistic PCF
- T. Ehrhard, C. Tasson, Michele Pagani
- Computer ScienceACM-SIGACT Symposium on Principles of Programming…
- 8 January 2014
It is proved that the equality of interpretations in Pcoh characterizes the operational indistinguishability of programs in PCF with a random primitive, the first result of full abstraction for a semantics of probabilistic PCF.
On Köthe sequence spaces and linear logic
- T. Ehrhard
- MathematicsMathematical Structures in Computer Science
- 1 October 2002
This work provides a simple setting in which typed λ-calculus and differential calculus can be combined and gives a few examples of computations.
On phase semantics and denotational semantics: the exponentials
- A. Bucciarelli, T. Ehrhard
- Computer ScienceAnnals of Pure and Applied Logic
- 30 May 2001
...
...