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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435
Publisher	Springer
Publication status	Published - 2007

Cite this