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

Cached

Download Links

by Furio Honsell , Marino Miculan , Ivan Scagnetto
Venue:Leeuwen (Eds.), 28th International Colloquium on Automata, Languages and Programming, ICALP 2001
Citations:19 - 1 self