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

Aún sin calificaciones

1995 · Inglés · Tapa dura

Añadir a la estantería

Califica este libro

Exportar diario de lectura

Detalles del libro

Formato Tapa dura

Páginas 235 páginas

Idioma Inglés

Publicado Jan 1, 1995

Editorial Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Añadir a la estantería

Califica este libro

Exportar diario de lectura