×

zbMATH — the first resource for mathematics

Barbanera, Franco

Compute Distance To:
Author ID: barbanera.franco Recent zbMATH articles by "Barbanera, Franco"
Published as: Barbanera, Franco
Documents Indexed: 41 Publications since 1990

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 166 times in 129 Documents Cited by Year
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
32
1995
A symmetric lambda calculus for classical program extraction. Zbl 0853.68159
Barbanera, Franco; Berardi, Stefano
22
1996
Modularity of strong normalization in the algebraic-\(\lambda\)-cube. Zbl 0918.03010
Barbanera, Franco; Fernández, Maribel; Geuvers, Herman
12
1997
Extracting constructive content from classical logic via control-like reductions. Zbl 0788.68016
Barbanera, Franco; Berardi, Stefano
10
1993
Sub-behaviour relations for session-based client/server systems. Zbl 1361.68159
Barbanera, Franco; de’Liguoro, Ugo
9
2015
Strong conjunction and intersection types. Zbl 0765.03007
Alessi, Fabio; Barbanera, Franco
7
1991
Combining first and higher order rewrite systems with type assignment systems. Zbl 0788.68079
Barbanera, Franco; Fernández, Maribel
6
1993
Combining term rewriting and type assignment systems. Zbl 0732.68061
Barbanera, Franco
6
1990
Intersection types and lambda models. Zbl 1088.68031
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
5
2006
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
5
2002
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
“Classical” programming-with-proofs in \(\lambda_{\text{PA}}^{\text{Sym}}\): An analysis of non-confluence. Zbl 0885.03029
Barbanera, Franco; Berardi, Stefano; Schivalocchi, Massimo
4
1997
Intersection type assignment systems with higher-order algebraic rewriting. Zbl 0874.03016
Barbanera, Franco; Fernández, Maribel
4
1996
A symmetric lambda calculus for “classical” program extraction. Zbl 0942.03506
Barbanera, Franco; Berardi, Stefano
4
1994
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
3
2017
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
2016
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions. Zbl 0860.68093
Barbanera, Franco; Berardi, Stefano
3
1996
Proof-functional connectives and realizability. Zbl 0801.03035
Barbanera, Franco; Martini, Simone
3
1994
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
Tailoring filter models. Zbl 1100.03511
Alessi, F.; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2004
Intersection types and computational rules. Zbl 1264.03045
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2003
A full continuous model of polymorphism. Zbl 1018.68015
Barbanera, Franco; Berardi, Stefano
2
2003
A strong normalization result for classical logic. Zbl 0832.03028
Barbanera, Franco; Berardi, Stefano
2
1995
Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\). Zbl 1418.68110
Barbanera, Franco; Fernández, Maribel
2
1993
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Retractability, games and orchestrators for session contracts. Zbl 1459.68136
Barbanera, Franco; de’Liguoro, Ugo
1
2017
Typing asymmetric client-server interaction. Zbl 1274.68219
Barbanera, Franco; Capecchi, Sara; de’Liguoro, Ugo
1
2010
Polymorphic intersection type assignment for rewrite systems with abstraction and \(\beta\)-rule. Zbl 0988.68092
van Bakel, Steffen; Barbanera, Franco; Fernández, Maribel
1
2000
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
3
2017
Retractability, games and orchestrators for session contracts. Zbl 1459.68136
Barbanera, Franco; de’Liguoro, Ugo
1
2017
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
2016
Sub-behaviour relations for session-based client/server systems. Zbl 1361.68159
Barbanera, Franco; de’Liguoro, Ugo
9
2015
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Typing asymmetric client-server interaction. Zbl 1274.68219
Barbanera, Franco; Capecchi, Sara; de’Liguoro, Ugo
1
2010
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
Intersection types and lambda models. Zbl 1088.68031
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
5
2006
Tailoring filter models. Zbl 1100.03511
Alessi, F.; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2004
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
Intersection types and computational rules. Zbl 1264.03045
Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola
2
2003
A full continuous model of polymorphism. Zbl 1018.68015
Barbanera, Franco; Berardi, Stefano
2
2003
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
5
2002
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
Polymorphic intersection type assignment for rewrite systems with abstraction and \(\beta\)-rule. Zbl 0988.68092
van Bakel, Steffen; Barbanera, Franco; Fernández, Maribel
1
2000
Modularity of strong normalization in the algebraic-\(\lambda\)-cube. Zbl 0918.03010
Barbanera, Franco; Fernández, Maribel; Geuvers, Herman
12
1997
“Classical” programming-with-proofs in \(\lambda_{\text{PA}}^{\text{Sym}}\): An analysis of non-confluence. Zbl 0885.03029
Barbanera, Franco; Berardi, Stefano; Schivalocchi, Massimo
4
1997
A symmetric lambda calculus for classical program extraction. Zbl 0853.68159
Barbanera, Franco; Berardi, Stefano
22
1996
Intersection type assignment systems with higher-order algebraic rewriting. Zbl 0874.03016
Barbanera, Franco; Fernández, Maribel
4
1996
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions. Zbl 0860.68093
Barbanera, Franco; Berardi, Stefano
3
1996
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
32
1995
A strong normalization result for classical logic. Zbl 0832.03028
Barbanera, Franco; Berardi, Stefano
2
1995
A symmetric lambda calculus for “classical” program extraction. Zbl 0942.03506
Barbanera, Franco; Berardi, Stefano
4
1994
Proof-functional connectives and realizability. Zbl 0801.03035
Barbanera, Franco; Martini, Simone
3
1994
Extracting constructive content from classical logic via control-like reductions. Zbl 0788.68016
Barbanera, Franco; Berardi, Stefano
10
1993
Combining first and higher order rewrite systems with type assignment systems. Zbl 0788.68079
Barbanera, Franco; Fernández, Maribel
6
1993
Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\). Zbl 1418.68110
Barbanera, Franco; Fernández, Maribel
2
1993
Strong conjunction and intersection types. Zbl 0765.03007
Alessi, Fabio; Barbanera, Franco
7
1991
Combining term rewriting and type assignment systems. Zbl 0732.68061
Barbanera, Franco
6
1990
all top 5

Cited by 169 Authors

14 Dezani-Ciancaglini, Mariangiola
12 Barbanera, Franco
10 de’Liguoro, Ugo
6 Fernández, Maribel
6 van Bakel, Steffen
5 Berardi, Stefano
5 Blanqui, Frédéric
4 Berger, Ulrich
4 Ghilezan, Silvia
4 Nour, Karim
3 Ancona, Davide
3 Ariola, Zena M.
3 Bimbó, Katalin
3 Ciobanu, Gabriel
3 Jouannaud, Jean-Pierre
3 Lagorio, Giovanni
3 Lescanne, Pierre
3 Sassone, Vladimiro
3 Venneri, Betti
3 Yoshida, Nobuko
2 Bartoletti, Massimo
2 Bertolissi, Clara
2 Bettini, Lorenzo
2 Castellani, Ilaria
2 Coppo, Mario
2 Dougherty, Daniel J.
2 Fujita, Ken-etsu
2 Gabbay, Murdoch James
2 Geuvers, Jan Herman
2 Giannini, Paola
2 Giovannetti, Elio
2 Guillermo, Mauricio
2 Herbelin, Hugo
2 Horne, Ross
2 Kesner, Delia
2 Kirchner, Claude
2 Liquori, Luigi
2 Miquel, Alexandre
2 Miquey, Étienne
2 Motohama, Yoko
2 Okada, Mitsuhiro
2 Riba, Colin
2 Sabry, Amr
2 Sato, Masahiko
2 Scalas, Alceste
2 Seldin, Jonathan P.
2 Tatsuta, Makoto
2 Tiezzi, Francesco
2 Tuosto, Emilio
2 Urzyczyn, Paweł
2 Vial, Pierre
1 Afshari, Bahareh
1 Akroun, Lakhdar
1 Alessi, Fabio
1 Aman, Bogdan
1 Arrighi, Pablo
1 Asperti, Andrea
1 Barthe, Gilles
1 Battyányi, Péter
1 Berline, Chantal
1 Bertot, Yves
1 Bocchi, Laura
1 Bono, Viviana
1 Bonsangue, Marcello Maria
1 Breazu-Tannen, Val
1 Bruni, Roberto
1 Buchholz, Wilfried
1 Bugliesi, Michele
1 Bunder, Martin W.
1 Caldwell, James L.
1 Capecchi, Sara
1 Castagna, Giuseppe
1 Cirstea, Horatiu
1 Corradi, Andrea
1 Crolard, Tristan
1 Damiani, Ferruccio
1 Danos, Vincent
1 David, Rene
1 de Vries, Fer-Jan J.
1 Devesas Campos, Marco
1 Di Cosmo, Roberto
1 Di Pierro, Alessandra
1 Díaz-Caro, Alejandro
1 Downen, Paul
1 Dunfield, Joshua
1 Fairweather, Elliot
1 Fiore, Marcelo P.
1 Frisch, Alain
1 Führmann, Carsten
1 Gallier, Jean H.
1 García, Miguel Angel
1 Gaur, Manish
1 Gent, Ian Philip
1 Ghani, Neil
1 Giachino, Elena
1 Goble, Lou
1 Gonthier, Georges
1 Gutiérrez, Francisco L.
1 Hennessy, Matthew C. B.
1 Henrio, Ludovic
...and 69 more Authors

Citations by Year