Reasoning about names in higher-order abstract syntax

Riferimento: 9788884200808

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