Callaghan, P., Luo, Z., & Pang, J. (2001, June). Object languages in a type-theoretic meta-framework. Presented at Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01., Siena, Italy