A type-theoretic framework for formal reasoning with different logical foundations. / Luo, Zhaohui.

Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer, 2007.

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

Published
Original languageEnglish
Title of host publicationAdvances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435
PublisherSpringer
Publication statusPublished - 2007

ID: 1775451