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

Pas encore d'évaluations

1995 · Anglais · Relié

Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture

Détails du livre

Format Relié

Pages 235 pages

Langue Anglais

Publié Jan 1, 1995

Éditeur Birkhäuser

ISBN-10 376433763X

ISBN-13 9783764337636

Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture