*
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 of my talk about differential interaction nets at the Geocal06 residential session at the CIRM (February-March 2006).