Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

Roberto Di Cosmo
Ancora nessuna valutazione
1995 · Inglese · Copertina rigida
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri

Dettagli del libro

Formato Copertina rigida
Pagine 235 pagine
Lingua Inglese
Pubblicato Jan 1, 1995
Editore Birkhäuser
ISBN-10 376433763X
ISBN-13 9783764337636
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri