Intersection types and lambda models

Riferimento: 9788884201867

Editore: Forum Edizioni
Autore: Yoko Motohama
Collana: Phd thesis series
In commercio dal: 01 Gennaio 2004
Pagine: 82 p., Libro in brossura
EAN: 9788884201867

15,00 €