An axiomatic approach to metareasoning on nominal algebras in HOAS, in (0)

by F Honsell, M Miculan, I Scagnetto
Venue:Leeuwen (Eds.), Proc. 28th Internat. Colloq. on Automata, Languages and Programming, ICALP 2001