Intersection types and lambda models. Vol. 2
| Titolo | Intersection types and lambda models. Vol. 2 |
| Autore | Yoko Motohama |
| Collana | Phd thesis series |
| Editore | Forum Edizioni |
| Formato |
Libro: Copertina morbida |
| Pagine | 82 |
| Pubblicazione | 01/2004 |
| ISBN | 9788884201867 |