Sfoglia per Autore
Theoretical Computer Science: Preface
2003-01-01 Honsell, Furio; Miculan, Marino
A complete characterization of complete intersection-type preorders
2003-01-01 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
Mobility Types in Coq
2004-01-01 Honsell, Furio; Scagnetto, Ivan
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models
2004-01-01 Honsell, Furio; Lenisa, Marina
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language
2004-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Modeling fresh names in the π-calculus using abstractions
2004-01-01 Bruni, R; Honsell, Furio; Lenisa, Marina; Miculan, Marino
Properties of Set Functors
2004-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Compositional characterisations of lambda-terms using intersection types
2005-01-01 DEZANI CIANCAGLINI, M; Honsell, Furio; Motohama, Yoko
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts
2005-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Some Properties and Some Problems on Set Functors
2006-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Consistency of the Theory of Contexts
2006-01-01 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Functors Determined by Values on Objects
2006-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
A Framework for Defining Logical Frameworks
2007-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi
Coalgebraic Description of Generalized Binary Methods
2007-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
RPO, second-order contexts, and λ-calculus
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2008-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
RPO, Second-Order Contexts, and λ-Calculus
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Conway Games, coalgebraically
2009-01-01 Honsell, Furio; Lenisa, Marina
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Theoretical Computer Science: Preface | 1-gen-2003 | Honsell, Furio; Miculan, Marino | |
A complete characterization of complete intersection-type preorders | 1-gen-2003 | M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio | |
Mobility Types in Coq | 1-gen-2004 | Honsell, Furio; Scagnetto, Ivan | |
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models | 1-gen-2004 | Honsell, Furio; Lenisa, Marina | |
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language | 1-gen-2004 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Modeling fresh names in the π-calculus using abstractions | 1-gen-2004 | Bruni, R; Honsell, Furio; Lenisa, Marina; Miculan, Marino | |
Properties of Set Functors | 1-gen-2004 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
Compositional characterisations of lambda-terms using intersection types | 1-gen-2005 | DEZANI CIANCAGLINI, M; Honsell, Furio; Motohama, Yoko | |
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts | 1-gen-2005 | Miculan, Marino; Scagnetto, Ivan; Honsell, Furio | |
Some Properties and Some Problems on Set Functors | 1-gen-2006 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
Consistency of the Theory of Contexts | 1-gen-2006 | Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
Functors Determined by Values on Objects | 1-gen-2006 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
A Framework for Defining Logical Frameworks | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi | |
Coalgebraic Description of Generalized Binary Methods | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
RPO, second-order contexts, and λ-calculus | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
A Conditional Logical Framework | 1-gen-2008 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | 1-gen-2008 | Miculan, Marino; Scagnetto, Ivan; Honsell, Furio | |
A type assignment system for game semantics | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
RPO, Second-Order Contexts, and λ-Calculus | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
Conway Games, coalgebraically | 1-gen-2009 | Honsell, Furio; Lenisa, Marina |
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