sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000110062430 | 1 hits
Person
ISNI: 
0000 0001 1006 2430
Name: 
Cosimo, Roberto di
Cosmo, Roberto
Cosmo, Roberto Di
Di Cosmo, R.
Di Cosmo, Roberto
DiCosmo, Roberto
Roberto Di Cosmo (informaticien italien)
Roberto Di Cosmo (Italiaans informaticus)
Roberto Di Cosmo (Italian computer scientist)
Dates: 
1963-
Creation class: 
article
Computer file
cre
Language material
Text
txt
Creation role: 
author
Related names: 
Duarte, Maria Filomena
Falleri, Jean-Rémy (1982-....))
Ficheux, Pierre
Glondu, Stéphane
Loddo, Jean-Vincent (1970-....))
Nora, Dominique
Nora, Dominique (1958-...)
Zacchiroli, Stefano (1979-...))
Zwolakowski, Jacub (1986-...))
Titles: 
approche formelle à la synthèse des applications distribuées et leur déploiement automatique, français, Une
assalto planetário a face oculta da Microsoft, O
Combining algebraic rewriting, extensional lambda calculi, and fixpoints
étude des sommes fortes isomorphismes et formes normales, Une
Etude formelle des distributions de logiciel libre formal study of Free Software distributions
Généralisation des jeux combinatoires et applications aux langages logiques
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle
hold-up planétaire la face cachée de Microsoft
Isomorphisms of types : from [lambda]-calculus to information retrieval and language design
Linux embarqué nouvelle étude de cas : traite d'OpenEmbedded
Manifeste pour une création artistique libre dans un internet libre
Proof nets and explicit substitutions
Remarks on isomorphisms in typed lambda calculi with empty and sum types
short survey of isomorphisms of types, A
study of strong sums, A : isomorphisms and normal forms.
Third-party libraries management in a software maintenance context.
Type isomorphisms in a type-assignment framework.
Vers une certification de l'extraction de coq
Contributed to or performed: 
BULLETIN- EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE
Notes: 
Sources: 
VIAF VIAF DNB LC NUKAT PTBNP RERO SUDOC WKD
BOWKER
TEL
ZETO