Some publications and documents by Thomas Ehrhard

Articles

On phase semantics and denotational semantics in multiplicative-additive linear logic. Antonio Bucciarelli and Thomas Ehrhard Annals of Pure and Applied Logic, Volume 102, Number 3, Pages 247-282, 2000. ps.gz.

On phase semantics and denotational semantics: the exponentials. Antonio Bucciarelli and Thomas Ehrhard, Annals of Pure and Applied Logic, Volume 109, Pages 205-241, 2001. ps.gz

A completeness theorem for symmetric product phase spaces. Thomas Ehrhard, Journal of Symbolic Logic, 2004. pdf.gz.

On Köthe sequence spaces and linear logic. Thomas Ehrhard, Mathematical Structures in Computer Science, Volume 12, Number 5, Pages 579-623, 2002. pdf.gz.

Finiteness spaces. Thomas Ehrhard, Mathematical Structures in Computer Science, Volume 15, Number 4, Pages 615-646, August 2005, pdf.

The differential lambda-calculus. Thomas Ehrhard and Laurent Regnier, Theoretical Computer Science, Volume 309, Pages 1-41, December 2003, pdf.

Differential interaction nets. Thomas Ehrhard and Laurent Regnier, Electronic notes in Computer Science vol. 123, March 2005, ps.gz.

Differential interaction nets (revised version). Thomas Ehrhard and Laurent Regnier, To appear in Theoretical Computer Science, ps.gz.

Uniformity and the Taylor expansion of ordinary lambda-terms. Thomas Ehrhard and Laurent Regnier, To appear in Theoretical Computer Science, pdf.gz

Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms. Thomas Ehrhard and Laurent Regnier, To appear in the proceedings of the CiE conference. pdf.gz

Slides

Slides of my talk about differential interaction nets at the Geocal06 residential session at the CIRM (February-March 2006).