Searching for authors named "Roberto Di Cosmo" – sorted by Relevance.
-
CyberSnare
- CyberSnare Roberto Di Cosmo LIENS-DMI Ecole Normale Supérieure 45, Rue d’Ulm - 75230 Paris CEDEX
- Add To MetaCart
-
Strong Normalization of Proof NetsModulo Structural Congruences
- Strong Normalization of Proof NetsModulo Structural Congruences ? Roberto Di Cosmo1 and Stefano
- Add To MetaCart
-
On the Power of Simple Diagrams
- On the Power of Simple Diagrams Roberto Di Cosmo DMI-LIENS (CNRS URA 1327) Ecole Normale
- Cited by 6 (2 self) – Add To MetaCart
-
Sémantique Dénotationnelle
- DEA Programmation 1996 Semantique denotationnelle Roberto Di Cosmo Ecole Normale Superieure 75005
- Add To MetaCart
-
DEA Programmation 1996 Semantique denotationnelle
- DEA Programmation 1996 Semantique denotationnelle Roberto Di Cosmo Ecole Normale Superieure 75005
- Add To MetaCart
-
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi
- Roberto Di Cosmo Delia Kesner x Abstract It is well known that confluence and strong normalization
- Cited by 15 (7 self) – Add To MetaCart
-
Expanding Extensional Polymorphism
- Expanding Extensional Polymorphism ? Roberto Di Cosmo 1 Adolfo Piperno 2 1 DMI-LIENS - Ecole
- Cited by 8 (2 self) – Add To MetaCart
-
Strong Normalization of Proof Nets Modulo Structural Congruences
- Strong Normalization of Proof Nets Modulo Structural Congruences ? Roberto Di Cosmo 1
- Cited by 2 (1 self) – Add To MetaCart
-
A Confluent Reduction for the Extensional Typed Lambda-Calculus With Pairs, Sums, Recursion and Terminal Object
- and terminal object Roberto Di Cosmo Delia Kesner x Abstract We add extensional equalities
- Cited by 2 (0 self) – Add To MetaCart
-
Rewriting with Extensional Polymorphic lambda-calculus
- Rewriting with Extensional Polymorphic -calculus Roberto Di Cosmo 1 and Delia Kesner 2 1 LIENS
- Cited by 1 (0 self) – Add To MetaCart

