Roberto di Cosmo
Biographic Data
| ID | 5415308 |
|---|---|
| NAME | Roberto di Cosmo |
| GIVEN NAMES | Roberto |
| FAMILY NAME | di Cosmo |
| SIGNATURE | DI COSMO R |
| AFFILIATIONS | Institut national de recherche en sciences et technologies du numérique |
| ORCID | 0000-0002-7493-5349 |
| VERIFIED | Yes |
| TOTAL WORKS | 3 |
| TOTAL CITATIONS | 1 |
| AUTHOR COUNT | 3 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 1991 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 1 |
Software Heritage
Software Heritage
Les logiciels informatiques constituent des objets techniques dont l’histoire est peu étudiée. Ils sont pourtant aujourd’hui incontournables dans tous les secteurs économiques, mais aussi dans l’ensemble des activités de la vie quotidienne privée et publique. Bien qu’importants, ils sont aussi très fragiles en raison de leur rapide obsolescence, de leur quantité exponentielle, et d’une caractéristique technique propre, une clef d’entrée indispens…
A confluent reduction for the λ-calculus with surjective pairing and terminal object
Software Heritage
Les logiciels informatiques constituent des objets techniques dont l’histoire est peu étudiée. Ils sont pourtant aujourd’hui incontournables dans tous les secteurs économiques, mais aussi dans l’ensemble des activités de la vie quotidienne privée et publique. Bien qu’importants, ils sont aussi très fragiles en raison de leur rapide obsolescence, de leur quantité exponentielle, et d’une caractéristique technique propre, une clef d’entrée indispens…
A confluent reduction for the λ-calculus with surjective pairing and terminal object
Software Heritage
Les logiciels informatiques constituent des objets techniques dont l’histoire est peu étudiée. Ils sont pourtant aujourd’hui incontournables dans tous les secteurs économiques, mais aussi dans l’ensemble des activités de la vie quotidienne privée et publique. Bien qu’importants, ils sont aussi très fragiles en raison de leur rapide obsolescence, de leur quantité exponentielle, et d’une caractéristique technique propre, une clef d’entrée indispens…
Software Heritage
Computer Science (2 works) · Advanced Data Storage Technologies (1 works) · Advanced Database Systems and Queries (1 works) · Algebra over a field (1 works) · Art (1 works) · Calculus (dental) (1 works) · Cartesian closed category (1 works) · Confluence (1 works) · Decidability (1 works) · Discrete mathematics (1 works)