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

Noch keine Bewertungen

1995 · Englisch · Gebundene Ausgabe

Zum Regal hinzufügen

Bewerte dieses Buch

Buchjournal exportieren

Buchdetails

Format Gebundene Ausgabe

Seiten 235 Seiten

Sprache Englisch

Veröffentlicht Jan 1, 1995

Verlag Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Zum Regal hinzufügen

Bewerte dieses Buch

Buchjournal exportieren