Categorical Logic and Type Theory. Number 141 (1999)

by B Jacobs
Venue:in Studies in Logic and the Foundations of Mathematics. North