Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
Nadathur, Gopalan
2002.
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations.
Electronic Notes in Theoretical Computer Science,
Vol. 67,
Issue. ,
p.
35.
Ayala-Rincón, Mauricio
de Moura, Flávio L.C.
and
Kamareddine, Fairouz
2005.
Comparing and implementing calculi of explicit substitutions with eta-reduction.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 1,
p.
5.
de Moura, F. L. C.
Ayala-Rincón, M.
and
Kamareddine, F.
2006.
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★.
Journal of Applied Non-Classical Logics,
Vol. 16,
Issue. 1-2,
p.
119.
Ventura, Daniel Lima
Ayala-Rincón, Mauricio
and
Kamareddine, Fairouz
2010.
Logic, Language, Information and Computation.
Vol. 6188,
Issue. ,
p.
232.
Ventura, D. L.
Kamareddine, F.
and
Ayala-Rincon, M.
2015.
Explicit substitution calculi with de Bruijn indices and intersection type systems.
Logic Journal of IGPL,
Vol. 23,
Issue. 2,
p.
295.
de Moura, Flávio L. C.
2016.
Theoretical Aspects of Computing – ICTAC 2016.
Vol. 9965,
Issue. ,
p.
179.
Lima, Maria J. D.
and
de Moura, Flávio L. C.
2023.
A Formalized Extension of the Substitution Lemma in Coq.
Electronic Proceedings in Theoretical Computer Science,
Vol. 389,
Issue. ,
p.
80.
Discussions
No Discussions have been published for this article.