Categorical logic (2000)

by A M Pitts
Venue:Handbook of Logic in Computer Science, Volume 5. Algebraic and Logical Structures, chapter 2