Sfoglia per Autore
Witness Extraction in Classical Logic through Normalization
file da validare1993-01-01 Barbanera, Franco; Berardi, S.
Extracting Constructive Content from Classical Logic via Control-like Reductions
file da validare1993-01-01 Barbanera, Franco; Berardi, S.
A Strong Normalization Result for Classical Logic
file da validare1995-01-01 Barbanera, Franco; Berardi, S.
A Constructive Valuation Semantics for Classical Logic
file da validare1996-01-01 Barbanera, Franco; Berardi, S.
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction
file da validare1996-01-01 Barbanera, Franco; Berardi, S.
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence
file da validare1997-01-01 Barbanera, Franco; Berardi, S; Schivalocchi, M.
The Simply-Typed Theory of beta-conversion has no Maximum Extension
file da validare1997-01-01 Barbanera, Franco; Berardi, S.
Intersection Types for Lambda-Trees
file da validare2002-01-01 VAN BAKEL, S; Barbanera, Franco; MARIANGIOLA DEZANI CIANCAGLINI, M; DE VRIES, F. J.
A Type Inference Algorithm for Secure Ambients
file da validare2002-01-01 Barbanera, Franco; Mariangiola, Dezani; Ivano, Salvo; Vladimiro, Sassone
Alias and Union Types for Delegation
file da validare2003-01-01 Anderson, C; Barbanera, Franco; DEZANI CIANCAGLINI, M; Drossopoulou, S.
BoCa: A calculus of bounded capacities
file da validare2003-01-01 Barbanera, Franco; Mariangiola, Dezani; Michele, Bugliesi; Vladimiro, Sassone
A Full Continuous Model of Polymorphism
file da validare2003-01-01 Barbanera, Franco; Stefano, Berardi
Can Addresses be Types? (a case study: objects with delegation)
file da validare2003-01-01 Anderson, Christopher; Barbanera, Franco; Dezani Ciancaglini, Mariangiola; Drossopoulou, Sophia
Types and Computational Rules
file da validare2003-01-01 Alessi, F; Barbanera, Franco; DEZANI CIANCAGLINI, M.
Type assignment for mobile objects
file da validare2004-01-01 Barbanera, Franco; De'Liguoro, U.
Tailoring Filter Models
file da validare2004-01-01 Alessi, F; Barbanera, Franco; DEZANI CIANCAGLINI, M.
Intersection types and lambda models
2006-01-01 Fabio, Alessi; Barbanera, Franco; MARIANGIOLA DEZANI, Ciancaglini
Space-aware Ambients and Processes
2007-01-01 Barbanera, Franco; Michele, Bugliesi; MARIANGIOLA DEZANI, Ciancaglini; Vladimiro, Sassone
Typing Asymmetric Client-Server Interactions
file da validare2010-01-01 Barbanera, Franco; Capecchi, S; De'Liguoro, U.
Two Notions of Sub-behaviour for Session-based Client/Server Systems
2010-01-01 Barbanera, Franco; DE' LIGUORO, U.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Witness Extraction in Classical Logic through Normalization | 1-gen-1993 | Barbanera, Franco; Berardi, S. | file da validare |
Extracting Constructive Content from Classical Logic via Control-like Reductions | 1-gen-1993 | Barbanera, Franco; Berardi, S. | file da validare |
A Strong Normalization Result for Classical Logic | 1-gen-1995 | Barbanera, Franco; Berardi, S. | file da validare |
A Constructive Valuation Semantics for Classical Logic | 1-gen-1996 | 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 |
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence | 1-gen-1997 | Barbanera, Franco; Berardi, S; Schivalocchi, M. | file da validare |
The Simply-Typed Theory of beta-conversion has no Maximum Extension | 1-gen-1997 | Barbanera, Franco; Berardi, S. | file da validare |
Intersection Types for Lambda-Trees | 1-gen-2002 | VAN BAKEL, S; Barbanera, Franco; MARIANGIOLA DEZANI CIANCAGLINI, M; DE VRIES, F. J. | file da validare |
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 |
A Full Continuous Model of Polymorphism | 1-gen-2003 | Barbanera, Franco; Stefano, Berardi | 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 |
Types and Computational Rules | 1-gen-2003 | Alessi, F; Barbanera, Franco; DEZANI CIANCAGLINI, M. | file da validare |
Type assignment for mobile objects | 1-gen-2004 | Barbanera, Franco; De'Liguoro, U. | file da validare |
Tailoring Filter Models | 1-gen-2004 | Alessi, F; Barbanera, Franco; DEZANI CIANCAGLINI, M. | file da validare |
Intersection types and lambda models | 1-gen-2006 | Fabio, Alessi; Barbanera, Franco; MARIANGIOLA DEZANI, Ciancaglini | |
Space-aware Ambients and Processes | 1-gen-2007 | Barbanera, Franco; Michele, Bugliesi; MARIANGIOLA DEZANI, Ciancaglini; Vladimiro, Sassone | |
Typing Asymmetric Client-Server Interactions | 1-gen-2010 | Barbanera, Franco; Capecchi, S; De'Liguoro, U. | file da validare |
Two Notions of Sub-behaviour for Session-based Client/Server Systems | 1-gen-2010 | Barbanera, Franco; DE' LIGUORO, U. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile