Logical truths in constructive type theory (abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLogic Colloquium 96
Publication statusPublished - 1996

Cite this