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

Ainda sem avaliações

1995 · Inglês · Capa dura

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura

Detalhes do Livro

Formato Capa dura

Páginas 235 páginas

Idioma Inglês

Publicado Jan 1, 1995

Editora Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura