Reasoning about names in higher-order abstract syntax. Vol. 4

Ivan Scagnetto

Prezzo:15,00

Prodotto al momento non disponibile.

Titolo: Reasoning about names in higher-order abstract syntax. Vol. 4
Autore: Ivan Scagnetto
Editore: Forum Edizioni
Data di Pubblicazione: 2002
Pagine: 184
Formato:
ISBN: 9788884200808