Reasoning about names in higher-order abstract syntax

Riferimento: 9788884200808

Editore:
Autore: Ivan Scagnetto
Collana: Phd thesis series
In commercio dal: 2002
Pagine: 184 p., Libro in brossura
EAN: 9788884200808
15,00 €
Quantità
Non disponibile

help_outlineContatta il negozio
Reasoning about names in higher-order abstract syntax

Reasoning about names in higher-order abstract syntax