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

Inga betyg ännu

1995 · Engelska · Inbunden

Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal

Bokdetaljer

Format Inbunden

Sidor 235 sidor

Språk Engelska

Publicerad Jan 1, 1995

Förlag Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal