Concepedia
Statistics
Publications
20
Citations
659
H-Index
14
Active since
1990
Affiliations
University of Turin(Current)
University of Catania
University of Bologna
Centre National de la Recherche Scientifique
Radboud University Nijmegen
Franco Barbanera is an author at University of Turin specializing in computer science, computing, and formal methods.
Publications per year
1990–2020
Intersection and Union Types: Syntax and Semantics
Franco Barbanera, Ugo de’Liguoro · Information and Computation · 1995 · 178 citations
Language Studies, Computer Science, Semantics +11
A Symmetric Lambda Calculus for Classical Program Extraction
Franco Barbanera, Stefano Berardi · Information and Computation · 1996 · 124 citations
Computing, Computer Science, Formal Methods +13
Two notions of sub-behaviour for session-based client/server systems
Franco Barbanera, Ugo de’Liguoro · 2010 · 49 citations
Computing, Contract Law, Contract Theory +9
Sub-behaviour relations for session-based client/server systems
Franco Barbanera, Ugo de’Liguoro · Mathematical Structures in Computer Science · 2014 · 32 citations · Full text
Computing, Computer Science, Contract Theory +6
Composition and decomposition of multiparty sessions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese et al. · Journal of Logical and Algebraic Methods in Programming · 2020 · 29 citations · Full text
Computing, Computer Science, Distributed Systems +7
1–5 of 20