Logical truths in constructive type theory (abstract). / Luo, Z.

Logic Colloquium 96. 1996.

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

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

ID: 1775257