Novi Sad, Serbia
essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012
with explicit I
and applications J
on Typed L
the 10th I
Finite combinatory L
intersection types P
Intersection type calculi of bounded dimension