Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kuśmierek, Dariusz
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
240.
Urzyczyn, Paweł
2009.
Typed Lambda Calculi and Applications.
Vol. 5608,
Issue. ,
p.
356.
Salvati, Sylvain
2009.
Logic, Language, Information and Computation.
Vol. 5514,
Issue. ,
p.
48.
Rehof, Jakob
and
Urzyczyn, Paweł
2011.
Typed Lambda Calculi and Applications.
Vol. 6690,
Issue. ,
p.
169.
Rehof, Jakob
and
Urzyczyn, Paweł
2012.
Logic and Program Semantics.
Vol. 7230,
Issue. ,
p.
256.
Salvati, Sylvain
Manzonetto, Giulio
Gehrke, Mai
and
Barendregt, Henk
2012.
Automata, Languages, and Programming.
Vol. 7392,
Issue. ,
p.
364.
Dezani-Ciancaglini, Mariangiola
and
Ghilezan, Silvia
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
194.
Kesner, Delia
and
Ventura, Daniel
2014.
Theoretical Computer Science.
Vol. 8705,
Issue. ,
p.
296.
Bucciarelli, Antonio
Kesner, Delia
and
Ronchi Della Rocca, Simona
2014.
Advanced Information Systems Engineering.
Vol. 7908,
Issue. ,
p.
341.
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.
Dezani-Ciancaglini, Mariangiola
Ghilezan, Silvia
Jakšić, Svetlana
Pantović, Jovanka
and
Yoshida, Nobuko
2016.
Theory and Practice of Formal Methods.
Vol. 9660,
Issue. ,
p.
155.
De Benedetti, Erika
and
Ronchi Della Rocca, Simona
2016.
A type assignment for λ-calculus complete both for FPTIME and strong normalization.
Information and Computation,
Vol. 248,
Issue. ,
p.
195.
PAOLINI, LUCA
PICCOLO, MAURO
and
RONCHI DELLA ROCCA, SIMONA
2017.
Essential and relational models.
Mathematical Structures in Computer Science,
Vol. 27,
Issue. 5,
p.
626.
Dudenhefner, Andrej
and
Rehof, Jakob
2017.
Intersection type calculi of bounded dimension.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
653.
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.
Dudenhefner, Andrej
and
Rehof, Jakob
2017.
Intersection type calculi of bounded dimension.
p.
653.
Coppo, Mario
Dezani-Ciancaglini, Mariangiola
Díaz-Caro, Alejandro
Margaria, Ines
and
Zacchi, Maddalena
2017.
Retractions in Intersection Types.
Electronic Proceedings in Theoretical Computer Science,
Vol. 242,
Issue. ,
p.
31.
Accattoli, Beniamino
Graham-Lengrand, Stéphane
and
Kesner, Delia
2018.
Tight typings and split bounds.
Proceedings of the ACM on Programming Languages,
Vol. 2,
Issue. ICFP,
p.
1.
Kesner, Delia
2019.
Quantitative Types: From Foundations to Applications.
Electronic Proceedings in Theoretical Computer Science,
Vol. 293,
Issue. ,
p.
1.