Searching for authors named "Roberto Di Cosmo" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
