Modular correspondence between dependent type theories and categories including pretopoi and topoi (0)

by M E Maietti
Venue:Math. Structures Comput. Sci