×
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 · Google Scholar · Twitter · dblp · GND · IdRef · theses.fr
Documents Indexed: 30 Publications since 1991, including 1 Book
Co-Authors: 24 Co-Authors with 25 Joint Publications
607 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 156 times in 101 Documents Cited by Year
Isomorphisms of types: from \(\lambda\)-calculus to information retrieval and language design. Zbl 0819.03006
Di Cosmo, Roberto
18
1995
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
17
1992
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Zbl 1325.68045
Balat, Vincent; Di Cosmo, Roberto; Fiore, Marcelo
14
2004
A short survey of isomorphisms of types. Zbl 1092.03006
Di Cosmo, Roberto
12
2005
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
11
2003
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
11
1994
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
10
1996
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0769.68056
Curien, Pierre-Louis; Di Cosmo, Roberto
10
1991
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022
Di Cosmo, Roberto; Kesner, Delia
8
1993
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Zbl 1099.03011
Fiore, Marcelo; Di Cosmo, Roberto; Balat, Vincent
8
2006
Strong normalization of proof nets modulo structural congruences. Zbl 0939.03068
Di Cosmo, Roberto; Guerrini, Stefano
5
1999
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
4
1994
Subtyping recursive types modulo associative commutative products. Zbl 1114.68029
Di Cosmo, Roberto; Pottier, François; Rémy, Didier
4
2005
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
4
1995
Playing logic programs with the Alpha-Beta algorithm. Zbl 0988.68036
Loddo, Jean-Vincent; Di Cosmo, Roberto
4
2000
Expanding extensional polymorphism. Zbl 1063.68554
Di Cosmo, Roberto; Piperno, Adolfo
3
1995
Aeolus: a component model for the cloud. Zbl 1309.68019
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
2
2014
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
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
2
2013
A linear logical view of linear type isomorphisms. Zbl 0943.03048
Balat, Vincent; Di Cosmo, Roberto
2
1999
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
Proof nets and explicit substitutions. Zbl 0955.03064
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
1
2000
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. Zbl 0856.68087
Curien, Pierre-Louis; Di Cosmo, Roberto
1
1996
Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations. Zbl 0751.03027
Di Cosmo, Roberto; Longo, Giuseppe
1
1992
Aeolus: a component model for the cloud. Zbl 1309.68019
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
2
2014
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
2
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
8
2006
A short survey of isomorphisms of types. Zbl 1092.03006
Di Cosmo, Roberto
12
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
14
2004
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
11
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
2
1999
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
10
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
18
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
4
1995
Expanding extensional polymorphism. Zbl 1063.68554
Di Cosmo, Roberto; Piperno, Adolfo
3
1995
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
11
1994
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
4
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
8
1993
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
17
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
10
1991
all top 5

Cited by 145 Authors

9 Di Cosmo, Roberto
9 Kesner, Delia
4 Solov’ëv, Sergeĭ Vladimirovich
3 Accattoli, Beniamino
3 Bonelli, Eduardo
3 Díaz-Caro, Alejandro
3 Fiore, Marcelo P.
3 Jouannaud, Jean-Pierre
3 Tranquilli, Paolo
3 Viso, Andrés
2 Ayala-Rincón, Mauricio
2 Carette, Jacques
2 Chemouil, David
2 Curien, Pierre-Louis
2 de Groote, Philippe
2 Dezani-Ciancaglini, Mariangiola
2 Došen, Kosta
2 Dougherty, Daniel J.
2 Dowek, Gilles
2 Edi, Juan
2 Ilik, Danko
2 Kiselyov, Oleg
2 Mauro, Jacopo
2 Padovani, Luca
2 Pagani, Michele
2 Petrić, Zoran
2 Peyrot, Loïc
2 Pfenning, Frank
2 Rubio, Albert
2 Saurin, Alexis
2 Shan, Chung-chieh
2 Lima Ventura, Daniel
2 Zavattaro, Gianluigi
1 Abel, Andreas M.
1 Acclavio, Matteo
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 Bastani, Osbert
1 Blanqui, Frédéric
1 Bloo, Roel
1 Bogaerts, Bart
1 Brock-Nannestad, Taus
1 Brogi, Antonio
1 Caires, Luís
1 Cardone, Felice
1 Catta, Davide
1 Chlebowski, Szymon
1 Coppo, Mario
1 Corradini, Andrea
1 Čubrić, Djordje
1 Cunha, Alcino
1 Dagand, Pierre-Evariste
1 Danelutto, Marco
1 Danvy, Olivier
1 Dargaye, Zaynah
1 de Lataillade, Joachim
1 Delande, Olivier
1 Denecker, Marc
1 Duroux, P.
1 Fettig, Roland
1 Fouqueré, Christophe
1 Fu, Yuxi
1 Gawek, Marta
1 Ghani, Neil
1 Ghelli, Giorgio
1 Giovannetti, Elio
1 Goncharov, Sergeĭ Savost’yanovich
1 Guerrini, Stefano
1 Herbelin, Hugo
1 Hilken, Barnaby P.
1 Hinze, Ralf
1 Kanazawa, Makoto
1 Katsumata, Shin-ya
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 Löchner, Bernd
1 Longo, Giuseppe
1 Malakhovski, J.
1 Margaria, Ines
1 Maršík, Jirka
1 Martini, Simone
1 Marynissen, Simon
1 Matsuoka, Satoshi
1 Meinke, Karl
1 Mell, Stephen
1 Miller, Dale Allen
1 Millikin, Kevin
1 Milsted, Kathleen
1 Moot, Richard
1 Mossakowski, Till
...and 45 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.