Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ehrhard, Thomas
and
Regnier, Laurent
2003.
The differential lambda-calculus.
Theoretical Computer Science,
Vol. 309,
Issue. 1-3,
p.
1.
Ehrhard, Thomas
and
Regnier, Laurent
2005.
Differential Interaction Nets.
Electronic Notes in Theoretical Computer Science,
Vol. 123,
Issue. ,
p.
35.
Ehrhard, T.
and
Regnier, L.
2006.
Differential interaction nets.
Theoretical Computer Science,
Vol. 364,
Issue. 2,
p.
166.
Ehrhard, Thomas
and
Regnier, Laurent
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
186.
Ehrhard, Thomas
and
Regnier, Laurent
2008.
Uniformity and the Taylor expansion of ordinary lambda-terms.
Theoretical Computer Science,
Vol. 403,
Issue. 2-3,
p.
347.
Ehrhard, Thomas
2010.
A Finiteness Structure on Resource Terms.
p.
402.
Carraro, Alberto
Ehrhard, Thomas
and
Salibra, Antonino
2010.
Mathematical Foundations of Computer Science 2010.
Vol. 6281,
Issue. ,
p.
233.
Tranquilli, Paolo
2011.
Intuitionistic differential nets and lambda-calculus.
Theoretical Computer Science,
Vol. 412,
Issue. 20,
p.
1979.
Alves, Sandra
Fernández, Maribel
Florido, Mário
and
Mackie, Ian
2011.
Linearity and recursion in a typed Lambda-calculus.
p.
173.
Sánchez-Gil, Lidia
Hidalgo-Herrero, Mercedes
and
Ortega-Mallén, Yolanda
2011.
Relating function spaces to resourced function spaces.
p.
1301.
MANZONETTO, GIULIO
2012.
What is a categorical model of the differential and the resource λ-calculi?.
Mathematical Structures in Computer Science,
Vol. 22,
Issue. 3,
p.
451.
Laird, Jim
Manzonetto, Giulio
and
McCusker, Guy
2013.
Constructing differential categories and deconstructing categories of games.
Information and Computation,
Vol. 222,
Issue. ,
p.
247.
Ehrhard, Thomas
Tasson, Christine
and
Pagani, Michele
2014.
Probabilistic coherence spaces are fully abstract for probabilistic PCF.
p.
309.
Alves, S.
Fernandez, M.
Florido, M.
and
Mackie, I.
2014.
Linearity: A Roadmap.
Journal of Logic and Computation,
Vol. 24,
Issue. 3,
p.
513.
Ehrhard, Thomas
Tasson, Christine
and
Pagani, Michele
2014.
Probabilistic coherence spaces are fully abstract for probabilistic PCF.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
309.
Kesner, Delia
and
Ventura, Daniel
2015.
Theoretical Aspects of Computing - ICTAC 2015.
Vol. 9399,
Issue. ,
p.
388.
Bucciarelli, Antonio
Kesner, Delia
and
Ventura, Daniel
2016.
Strong Normalization through Intersection Types and Memory.
Electronic Notes in Theoretical Computer Science,
Vol. 323,
Issue. ,
p.
75.
Cockett, J.R.B.
and
Gallagher, J.D.
2016.
Categorical Models of the Differential λ-Calculus Revisited.
Electronic Notes in Theoretical Computer Science,
Vol. 325,
Issue. ,
p.
63.
Kesner, Delia
2016.
Foundations of Software Science and Computation Structures.
Vol. 9634,
Issue. ,
p.
424.
Bucciarelli, Antonio
Kesner, Delia
and
Ventura, Daniel
2017.
Non-idempotent intersection types for the Lambda-Calculus.
Logic Journal of the IGPL,
Vol. 25,
Issue. 4,
p.
431.