Object Languages in a Type-Theoretic Meta-Framework (2001)

by Paul Callaghan , Zhaohui Luo , Jianmin Pang
Venue:Workshop of Proof Transformation and Presentation and Proof Complexities (PTP'01
Citations:3 - 3 self