Object languages in a type-theoretic meta-framework. / Callaghan, P. C.; Luo, Z.; Pang, J.

Proof Transformation and Presentation and Proof Complexities. 2001.

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

Published
Original languageEnglish
Title of host publicationProof Transformation and Presentation and Proof Complexities
Publication statusPublished - 2001

ID: 1773584