BARBANERA, Franco

BARBANERA, Franco  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 50 (tempo di esecuzione: 0.02 secondi).
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