An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.

Furio Honsell, Marino Miculan, Ivan Scagnetto

Browse the full ICALP paper archive.