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

by M E Maietti
Venue:Mathematical Structures in Computer Science