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.
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.
Dezani-Ciancaglini, Mariangiola
and
Ghilezan, Silvia
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
194.
Kesner, Delia
and
Ventura, Daniel
2015.
Theoretical Aspects of Computing - ICTAC 2015.
Vol. 9399,
Issue. ,
p.
388.
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.
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.
Dudenhefner, Andrej
and
Rehof, Jakob
2017.
Intersection type calculi of bounded dimension.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
653.
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.
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.
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.
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.
Dudenhefner, Andrej
and
Rehof, Jakob
2019.
Principality and approximation under dimensional bound.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.