Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Petit, Barbara
2009.
Typed Lambda Calculi and Applications.
Vol. 5608,
Issue. ,
p.
234.
Petit, Barbara
2011.
Semantics of Typed Lambda-Calculus with Constructors.
Logical Methods in Computer Science,
Vol. Volume 7, Issue 1,
Issue. ,
Arrighi, Pablo
and
Diaz-Caro, Alejandro
2012.
A System F accounting for scalars.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Petit, Barbara
2012.
Continuation Models for the Lambda Calculus With Constructors.
Electronic Notes in Theoretical Computer Science,
Vol. 286,
Issue. ,
p.
337.
Viso, Andrés
Bonelli, Eduardo
and
Ayala-Rincón, Mauricio
2016.
Type Soundness for Path Polymorphism.
Electronic Notes in Theoretical Computer Science,
Vol. 323,
Issue. ,
p.
235.
Arrighi, Pablo
Díaz-Caro, Alejandro
and
Valiron, Benoît
2017.
The vectorial λ-calculus.
Information and Computation,
Vol. 254,
Issue. ,
p.
105.
Accattoli, Beniamino
and
Díaz-Caro, Alejandro
2020.
Functional and Logic Programming.
Vol. 12073,
Issue. ,
p.
33.
Discussions
No Discussions have been published for this article.