An axiomatic approach to metareasoning on systems in higher-order abstract syntax (2001)

by F Honsell, M Miculan, I Scagnetto
Venue:In Proc. ICALP’01, volume 2076 of Lecture Notes in Computer Science