Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

Modular Correspondence between Dependent Type Theories and Categorical Universes
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 44

MSC 2000

03G30 Categorical logic, topoi

03B15 Higher-order logic and type theory

18C50 Categorical semantics of formal languages

Keywords: Categorical logic, topoi, Higher-order logic and type theory, Categorical semantics of formal languages