http://rave.ohiolink.edu/etdc/view?acc_num=osu1023679306 (beliebiger Volltext)
Whitman, P. N. (2002). Category neutrality: a type-logical investigation. PhD Thesis, Ohio State Univ., Columbus.