Essays in Memory of Alonzo Church, pages 331– 342, 2001
Meaning Logic definability
Intersection type calculi of bounded dimension