The Differential Lambda-Calculus (2003)

Cached

Download Links

by Thomas Ehrhard , Laurent Regnier
Venue:Theoretical Computer Science
Citations:44 - 9 self

Active Bibliography

Presentation – Thomas Ehrhard, Laurent Regnier - 2003
3 A finiteness structure on resource terms – Thomas Ehrhard - 2010
What is a differential partial combinatory algebra? – Jonathan Gallagher - 2011
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
17 Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms – Thomas Ehrhard, Laurent Regnier - 2005
3 On probabilistic coherence spaces – Vincent Danos, Thomas Ehrhard - 2008
1 On finiteness spaces and extensional presheaves over the lawvere theory of polynomials – Thomas Ehrhard, Université Paris, Diderot Paris
1 A model-oriented introduction to differential linear – Thomas Ehrhard - 2011
53 Finiteness spaces – Thomas Ehrhard - 1987
3 The Scott model of Linear Logic is the extensional collapse of its relational model – Thomas Ehrhard - 2011
General Terms – Brent Yorgey
4 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
Normal Forms for the Algebraic Lambda-Calculus – Michele Alberti
Exponentials with in nite multiplicities – Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction – Pierre Clairambault
DOI: 10.1016/j.apal.2009.07.016 Totality in arena games – Pierre Clairambault, Russ Harmer - 2009
unknown title – unknown authors - 2012
Resource lambda-calculus: the differential viewpoint ∗ – Thomas Ehrhard