Salta al contenuto principale

Foto dell'autore

Roberto Di Cosmo

Autore di Isomorphisms of types : from [lambda]-calculus to information retrieval and language design

2 opere 3 membri 0 recensioni

Opere di Roberto Di Cosmo

Popolari Recenti

Isomorphisms of types : from [lambda]-calculus to information retrieval and language design (1994) 2 copie

Le Hold-Up Planetaire 1 copia

Esplora le opere

Etichette

Matematica (1) Matematica discreta (1)

Traduzione delle etichette attiva

Informazioni generali

Sesso: male

Utenti

Statistiche

Opere: 2
Utenti: 3
Popolarità: #1,791,150

ISBN: 4
Lingue: 1

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.