Institut Mittag-Leffler The Royal Swedish Academy of Sciences

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

A categorical version of the BHK-interpretation
Source file as TeX DVI Data Portable Document Format Portable Document Format

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

MSC 2000

03F50 Metamathematics of constructive systems

03G30 Categorical logic, topoi

18A15 Foundations, relations to logic and deductive systems

18B25 Topoi

Keywords: categorical logic, propositions-as-types