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

Nog geen beoordelingen

1995 · Engels · Hardcover

Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren

Boekdetails

Formaat Hardcover

Pagina's 235 pagina's

Taal Engels

Gepubliceerd Jan 1, 1995

Uitgever Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren