Reasoning about names in higher-order abstract syntax

Riferimento: 9788884200808

Editore: Forum Edizioni
Autore: Ivan Scagnetto
Collana: Phd thesis series
In commercio dal: 01 Gennaio 2002
Pagine: 184 p., Libro in brossura
EAN: 9788884200808

15,00 €