Object languages in a type-theoretic meta-framework

P. C. Callaghan, Z. Luo, J. Pang

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

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

Cite this