×
Compute Distance To:
Author ID: di-cosmo.roberto Recent zbMATH articles by "Di Cosmo, Roberto"
Published as: Di Cosmo, Roberto
Homepage: http://www.dicosmo.org/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef · theses.fr
Documents Indexed: 28 Publications since 1991, including 1 Book
Co-Authors: 24 Co-Authors with 25 Joint Publications
575 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 115 times in 81 Documents Cited by Year
Isomorphisms of types: from \(\lambda\)-calculus to information retrieval and language design. Zbl 0819.03006
Di Cosmo, Roberto
15
1995
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
14
1992
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Zbl 1325.68045
Balat, Vincent; Di Cosmo, Roberto; Fiore, Marcelo
10
2004
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
10
2003
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
8
1994
A short survey of isomorphisms of types. Zbl 1092.03006
Di Cosmo, Roberto
8
2005
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
6
1996
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0769.68056
Curien, Pierre-Louis; Di Cosmo, Roberto
6
1991
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Zbl 1099.03011
Fiore, Marcelo; Di Cosmo, Roberto; Balat, Vincent
6
2006
Strong normalization of proof nets modulo structural congruences. Zbl 0939.03068
Di Cosmo, Roberto; Guerrini, Stefano
5
1999
Subtyping recursive types modulo associative commutative products. Zbl 1114.68029
Di Cosmo, Roberto; Pottier, François; Rémy, Didier
4
2005
Playing logic programs with the Alpha-Beta algorithm. Zbl 0988.68036
Loddo, Jean-Vincent; Di Cosmo, Roberto
4
2000
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022
Di Cosmo, Roberto; Kesner, Delia
4
1993
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
3
1994
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0832.68096
Di Cosmo, Roberto
2
1995
The equational theory of \({\langle \mathbb N,0,1,+,\times,\uparrow\rangle}\) is decidable, but not finitely axiomatisable. Zbl 1109.03006
Di Cosmo, Roberto; Dufour, Thomas
2
2005
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0856.68087
Curien, Pierre-Louis; Di Cosmo, Roberto
1
1996
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013
On isomorphisms of intersection types. Zbl 1351.03007
Dezani-Ciancaglini, Mariangiola; Di Cosmo, Roberto; Giovannetti, Elio; Tatsuta, Makoto
1
2010
A linear logical view of linear type isomorphisms. Zbl 0943.03048
Balat, Vincent; Di Cosmo, Roberto
1
1999
Proof nets and explicit substitutions. Zbl 0955.03064
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
1
2000
Expanding extensional polymorphism. Zbl 1063.68554
Di Cosmo, Roberto; Piperno, Adolfo
1
1995
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations. Zbl 0751.03027
Di Cosmo, Roberto; Longo, Giuseppe
1
1992
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013
On isomorphisms of intersection types. Zbl 1351.03007
Dezani-Ciancaglini, Mariangiola; Di Cosmo, Roberto; Giovannetti, Elio; Tatsuta, Makoto
1
2010
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Zbl 1099.03011
Fiore, Marcelo; Di Cosmo, Roberto; Balat, Vincent
6
2006
A short survey of isomorphisms of types. Zbl 1092.03006
Di Cosmo, Roberto
8
2005
Subtyping recursive types modulo associative commutative products. Zbl 1114.68029
Di Cosmo, Roberto; Pottier, François; Rémy, Didier
4
2005
The equational theory of \({\langle \mathbb N,0,1,+,\times,\uparrow\rangle}\) is decidable, but not finitely axiomatisable. Zbl 1109.03006
Di Cosmo, Roberto; Dufour, Thomas
2
2005
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Zbl 1325.68045
Balat, Vincent; Di Cosmo, Roberto; Fiore, Marcelo
10
2004
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
10
2003
Playing logic programs with the Alpha-Beta algorithm. Zbl 0988.68036
Loddo, Jean-Vincent; Di Cosmo, Roberto
4
2000
Proof nets and explicit substitutions. Zbl 0955.03064
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
1
2000
Strong normalization of proof nets modulo structural congruences. Zbl 0939.03068
Di Cosmo, Roberto; Guerrini, Stefano
5
1999
A linear logical view of linear type isomorphisms. Zbl 0943.03048
Balat, Vincent; Di Cosmo, Roberto
1
1999
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
6
1996
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0856.68087
Curien, Pierre-Louis; Di Cosmo, Roberto
1
1996
Isomorphisms of types: from \(\lambda\)-calculus to information retrieval and language design. Zbl 0819.03006
Di Cosmo, Roberto
15
1995
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0832.68096
Di Cosmo, Roberto
2
1995
Expanding extensional polymorphism. Zbl 1063.68554
Di Cosmo, Roberto; Piperno, Adolfo
1
1995
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
8
1994
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
3
1994
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022
Di Cosmo, Roberto; Kesner, Delia
4
1993
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
14
1992
Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations. Zbl 0751.03027
Di Cosmo, Roberto; Longo, Giuseppe
1
1992
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0769.68056
Curien, Pierre-Louis; Di Cosmo, Roberto
6
1991
all top 5

Cited by 120 Authors

7 Di Cosmo, Roberto
7 Kesner, Delia
4 Solov’ëv, Sergeĭ Vladimirovich
3 Accattoli, Beniamino
3 Bonelli, Eduardo
3 Jouannaud, Jean-Pierre
3 Tranquilli, Paolo
3 Viso, Andrés
2 Ayala-Rincón, Mauricio
2 Carette, Jacques
2 Chemouil, David
2 de Groote, Philippe
2 Díaz-Caro, Alejandro
2 Došen, Kosta
2 Edi, Juan
2 Fiore, Marcelo P.
2 Kiselyov, Oleg
2 Padovani, Luca
2 Pagani, Michele
2 Petrić, Zoran
2 Pfenning, Frank
2 Rubio, Albert
2 Saurin, Alexis
2 Shan, Chung-chieh
1 Abel, Andreas M.
1 Ahman, Danel
1 Akama, Yohji
1 Aldinucci, Marco
1 Amblard, Maxime
1 Asatryan, Gurgen R.
1 Bacelar Almeida, José
1 Balat, Vincent
1 Barbanera, Franco
1 Blanqui, Frédéric
1 Bloo, Roel
1 Bogaerts, Bart
1 Caires, Luís
1 Cardone, Felice
1 Coppo, Mario
1 Čubrić, Djordje
1 Cunha, Alcino
1 Curien, Pierre-Louis
1 Dagand, Pierre-Evariste
1 Danelutto, Marco
1 Danvy, Olivier
1 Dargaye, Zaynah
1 de Lataillade, Joachim
1 Delande, Olivier
1 Denecker, Marc
1 Dezani-Ciancaglini, Mariangiola
1 Dowek, Gilles
1 Duroux, P.
1 Fouqueré, Christophe
1 Fu, Yuxi
1 Ghani, Neil
1 Goncharov, Sergeĭ Savost’yanovich
1 Guerrini, Stefano
1 Herbelin, Hugo
1 Hilken, Barnaby P.
1 Ilik, Danko
1 Kanazawa, Makoto
1 Kocsis, Zoltan A.
1 Laneve, Cosimo
1 Lang, Frédéric
1 Lee, Gyesik
1 Lengrand, Stéphane Jean Eric
1 Leroy, Xavier
1 Longo, Giuseppe
1 Malakhovski, J.
1 Margaria, Ines
1 Maršík, Jirka
1 Martini, Simone
1 Marynissen, Simon
1 Matsuoka, Satoshi
1 Mauro, Jacopo
1 Meinke, Karl
1 Miller, Dale Allen
1 Millikin, Kevin
1 Milsted, Kathleen
1 Moot, Richard
1 Mossakowski, Till
1 Munk, Johan
1 Narendran, Paliath
1 Okada, Mitsuhiro
1 Palsberg, Jens
1 Paolini, Luca
1 Pérez, Jorge A.
1 Peyrot, Loïc
1 Piccolo, Mauro
1 Pinto, Jorge Sousa
1 Preller, Anne
1 Quatrini, Myriam
1 Rahli, Vincent
1 Renaud, Fabien
1 Ritter, Eike
1 Rittri, Mikael
1 Rose, Kristoffer Høgsbro
1 Sabry, Amr
1 Saville, Philip
1 Schröder, Lutz
...and 20 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.