F. Barbanera
发表
Maribel Fernández,
F. Barbanera,
1996
.
F. Barbanera,
S. V. Bakel,
2015
.
F. Barbanera,
S. Berardi,
2007
.
Maribel Fernández,
F. Barbanera,
S. V. Bakel,
2010
.
E. Tuosto,
F. Barbanera,
Ivan Lanese,
2022,
COORDINATION.
F. Barbanera,
Maribel Fern,
2013
.
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2006,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2003,
WoLLIC.
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2003,
TYPES.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Franco Barbanera,
1995,
Inf. Comput..
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1996,
Notre Dame J. Formal Log..
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1994,
Inf. Comput..
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1995,
Ann. Pure Appl. Log..
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1994,
Inf. Comput..
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1992,
CAAP.
Maribel Fernández,
Steffen van Bakel,
Franco Barbanera,
1999,
TYPES.
Ugo de'Liguoro,
Franco Barbanera,
F. Barbanera,
2013,
ICE.
Mariangiola Dezani-Ciancaglini,
Franco Barbanera,
M. Dezani-Ciancaglini,
1991,
TACS.
Franco Barbanera,
F. Barbanera,
1990,
CTRS.
Ivan Lanese,
Ugo de'Liguoro,
Franco Barbanera,
2018,
Sci. Comput. Program..
Ivan Lanese,
Ugo de'Liguoro,
Franco Barbanera,
2017,
COORDINATION.
F. Barbanera,
Ugo de'Liguoro,
Ivan Lanese,
2017
.
Ivan Lanese,
Emilio Tuosto,
Franco Barbanera,
2020,
COORDINATION.
E. Tuosto,
F. Barbanera,
Ivan Lanese,
2022,
Logical Methods in Computer Science.
Ivan Lanese,
Emilio Tuosto,
Franco Barbanera,
2021,
J. Log. Algebraic Methods Program..
M. Dezani-Ciancaglini,
F. Barbanera,
2023,
Electronic Proceedings in Theoretical Computer Science.
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2011,
TLCA.
Herman Geuvers,
Franco Barbanera,
Maribel Fernández,
1997,
Journal of Functional Programming.
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1996,
Journal of Functional Programming.
Herman Geuvers,
Maribel Fernández,
Franco Barbanera,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Maribel Fernández,
Franco Barbanera,
F. Barbanera,
1993,
ICALP.
Maribel Fernández,
Franco Barbanera,
F. Barbanera,
1996,
Theor. Comput. Sci..
Maribel Fernández,
Franco Barbanera,
F. Barbanera,
1993,
TLCA.
Fabio Alessi,
Franco Barbanera,
F. Barbanera,
1991,
MFCS.
Steffen van Bakel,
Ugo de'Liguoro,
Franco Barbanera,
2017,
Log. Methods Comput. Sci..
F. Barbanera,
2014
.
Stefano Berardi,
Franco Barbanera,
F. Barbanera,
1993,
TLCA.
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
Fer-Jan de Vries,
2002,
Theor. Comput. Sci..
Franco Barbanera,
Simone Martini,
S. Martini,
1994,
Arch. Math. Log..
Mariangiola Dezani-Ciancaglini,
Fer-Jan de Vries,
Franco Barbanera,
1998,
PROCOMET.