A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.

Zhaohui Luo
Published in: ASIAN (2006)