Richiedi una copia del documento: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

Captcha code
Annulla