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