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

Brak ocen

1995 · Angielski · Twarda okładka

Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki

Szczegóły książki

Format Twarda okładka

Strony 235 stron

Język Angielski

Opublikowany Jan 1, 1995

Wydawca Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki