Categorical logic. (2001)

by A M Pitts
Venue:Handbook of Logic in Computer Science V.