First Order Logic with Dependent Sorts, with Applications to Category Theory (Unpublished manuscript) 1995 · ENGLISH · PDF View details →