A type-theoretic framework for formal reasoning with different logical foundations

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

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

Cite this