Titolo	Data di pubblicazione	Autore(i)	File
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence	1-gen-1997	Barbanera, Franco; Berardi, S; Schivalocchi, M.	file da validare
A Constructive Valuation Semantics for Classical Logic	1-gen-1996	Barbanera, Franco; Berardi, S.	file da validare
A Filter Model for lambda-mu	1-gen-2011	Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U.	file da validare
A Full Continuous Model of Polymorphism	1-gen-2003	Barbanera, Franco; Stefano, Berardi	file da validare
A Game Interpretation of Retractable Contracts	1-gen-2016	Barbanera, Franco; de' Liguoro, U.
A Strong Normalization Result for Classical Logic	1-gen-1995	Barbanera, Franco; Berardi, S.	file da validare
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction	1-gen-1996	Barbanera, Franco; Berardi, S.	file da validare
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES	1-gen-2022	Barbanera, F; Lanese, I; Tuosto, E	file da validare
A theory of retractable and speculative contracts	1-gen-2018	Barbanera, Franco; Lanese, Ivan; De'Liguoro, Ugo
A Type Inference Algorithm for Secure Ambients	1-gen-2002	Barbanera, Franco; Mariangiola, Dezani; Ivano, Salvo; Vladimiro, Sassone	file da validare
Alias and Union Types for Delegation	1-gen-2003	Anderson, C; Barbanera, Franco; DEZANI CIANCAGLINI, M; Drossopoulou, S.	file da validare
BoCa: A calculus of bounded capacities	1-gen-2003	Barbanera, Franco; Mariangiola, Dezani; Michele, Bugliesi; Vladimiro, Sassone	file da validare
Can Addresses be Types? (a case study: objects with delegation)	1-gen-2003	Anderson, Christopher; Barbanera, Franco; Dezani Ciancaglini, Mariangiola; Drossopoulou, Sophia	file da validare
Characterisation of Strongly Normalising lambda-mu-Terms	1-gen-2013	Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U.	file da validare
Choreography Automata	1-gen-2020	Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio	file da validare
Compliance for reversible client/server interactions	1-gen-2014	Barbanera, Franco; Dezani, M; De'Liguoro, U.	file da validare
Composing Communicating Systems, Synchronously	1-gen-2020	Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio	file da validare
Composition and decomposition of multiparty sessions	1-gen-2021	Barbanera, F.; Dezani-Ciancaglini, M.; Lanese, I.; Tuosto, E.	file da validare
Composition of synchronous communicating systems	1-gen-2023	Barbanera, F; Lanese, I; Tuosto, E	file da validare
Connecting open systems of communicating finite state machines	1-gen-2019	Barbanera, Franco; De'Liguoro, Ugo; Hennicker, Rolf