Reasoning about names in higher-order abstract syntax
| Titolo | Reasoning about names in higher-order abstract syntax |
| Sottotitolo | Vol. 4 |
| Autore | Scagnetto Ivan |
| Editore | Forum Edizioni |
| Formato |
Libro |
| Pagine | 184 |
| Pubblicazione | 2002 |
| ISBN | 9788884200808 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
