Categorical Logic and Type Theory. Number 141 (1999)

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