Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kamareddine, Fairouz
and
Ríos, Alejandro
1995.
Programming Languages: Implementations, Logics and Programs.
Vol. 982,
Issue. ,
p.
45.
Herbelin, Hugo
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
61.
Kamareddine, Fairouz
and
Ríos, Alejandro
1996.
Programming Languages: Implementations, Logics, and Programs.
Vol. 1140,
Issue. ,
p.
378.
Ferreira, Maria C. F.
Kesner, Delia
and
Puel, Laurence
1996.
Algebraic and Logic Programming.
Vol. 1139,
Issue. ,
p.
284.
Lescanne, Pierre
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
74.
Kesner, Delia
1996.
Rewriting Techniques and Applications.
Vol. 1103,
Issue. ,
p.
184.
Di Cosmo, R.
and
Kesner, D.
1997.
Strong normalization of explicit substitutions via cut elimination in proof nets.
p.
35.
Barthe, Gilles
Kamareddine, Fairouz
and
Ríos, Alejandro
1997.
Algebraic and Logic Programming.
Vol. 1298,
Issue. ,
p.
209.
Suzuki, Taro
Nakagawa, Koji
and
Ida, Tetsuo
1997.
Algebraic and Logic Programming.
Vol. 1298,
Issue. ,
p.
99.
Curien, Pierre-Louis
1998.
Explicit substitutions: A short survey.
Journal of Computer Science and Technology,
Vol. 13,
Issue. 6,
p.
562.
Sato, Masahiko
Sakurai, Takafumi
and
Burstall, Rod
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
340.
Ritter, Eike
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
325.
Bloo, Roel
and
Geuvers, Herman
1999.
Explicit substitution on the edge of strong normalization.
Theoretical Computer Science,
Vol. 211,
Issue. 1-2,
p.
375.
Oliver Stehr, Mark-
2000.
CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi.
Electronic Notes in Theoretical Computer Science,
Vol. 36,
Issue. ,
p.
70.
Kesner, Delia
2000.
Confluence of extensional and non-extensional λ-calculi with explicit substitutions.
Theoretical Computer Science,
Vol. 238,
Issue. 1-2,
p.
183.
Doughertyy, Dan
and
Lescanne, Pierre
2001.
Typed Lambda Calculi and Applications.
Vol. 2044,
Issue. ,
p.
121.
Bonelli, Eduardo
Kesner, Delia
and
Ríos, Alejandro
2001.
Rewriting Techniques and Applications.
Vol. 2051,
Issue. ,
p.
47.
Ayala-Rincón, Mauricio
de Moura, Flávio L.C.
and
Kamareddine, Fairouz
2002.
Comparing Calculi of Explicit Substitutions with Eta-reduction
.
Electronic Notes in Theoretical Computer Science,
Vol. 67,
Issue. ,
p.
76.
Dougherty, Dan
Lengrand, Stephane
and
Lescanne, Pierre
2002.
Foundations of Information Technology in the Era of Network and Mobile Computing.
p.
511.
Forest, Julien
2002.
Rewriting Techniques and Applications.
Vol. 2378,
Issue. ,
p.
174.
Discussions
No Discussions have been published for this article.