The Differential Lambda-Calculus (2003)

Cached

Download Links

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

Documents Related by Co-Citation

53 Finiteness spaces – Thomas Ehrhard - 1987
31 Differential interaction nets – T Ehrhard, L Regnier - 2005
9 Uniformity and the Taylor expansion of ordinary lambda-terms – Thomas Ehrhard, Laurent Regnier - 2008
17 Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms – Thomas Ehrhard, Laurent Regnier - 2005
123 Lambda-calcul, types et modèles – J L Krivine - 1990
15 A semantics for lambda calculi with resource – Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli - 1999
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
7 Categorical models for simply typed resource calculi – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
17 Linear-algebraic lambda-calculus: higher-order, encodings, and confluence – Pablo Arrighi, Gilles Dowek - 2008
5 Parallel reduction in resource lambda-calculus – M Pagani, P Tranquilli - 2009
5 Intuitionistic differential nets and lambda-calculus – P Tranquilli
10 Restriction Categories I – R. F. Blute, J. R. B. Cockett, R. A. G. Seely - 2006
930 Categories for the Working Mathematician – S Mac Lane - 1971
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
136 Complete sets of reductions for some equational theories – G E Peterson, M E Stickel - 1981
6 The differential λµ-calculus – Lionel Vaux - 2007
14 Reversible, Irreversible and Optimal lambda-machines (Extended Abstract) – Vincent Danos, Laurent Regnier - 1996
25 A call-by-name lambda-calculus machine – Jean-louis Krivine
2 The lambda-calculus with multiplicities. CONCUR’93 – G Boudol - 1993