A syntactic approach to foundational proof-carrying code (2002)

by Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
Venue:In Seventeenth IEEE Symposium on Logic in Computer Science