essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012
Jakob Rehof P
The complexity O
and Program S
Intersection type calculi of bounded dimension