The internal type theory of an heyting pretopos (0)

by M Maietti
Venue:Types for Proofs and 28 International Workshop TYPES’96, Aussois