Sfoglia per Autore
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
2002-01-01 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
TOSCA 2001
2002-01-01 Lenisa, Marina; Miculan, Marino
Coalgebraic Methods in Computer Science
2003-01-01 Corradini, A; Lenisa, Marina; Montanari, U.
Generalized Coiteration Schemata
2003-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Strict Geometry of Interaction Graph Models
2003-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Category theory for operational semantics
2004-01-01 Lenisa, Marina; Power, J.; Watanabe, H.
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models
2004-01-01 Honsell, Furio; Lenisa, Marina
Proceedings of the Workshop COMETA Computational Metamodels
2004-01-01 Honsell, F; Lenisa, Marina; Miculan, Marino
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
Linear realizability and full completeness for typed lambda calculi
2005-01-01 Abramsky, S.; Lenisa, Marina
Some Properties and Some Problems on Set Functors
2006-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Coalgebraic Description of Generalized Binary Methods
2006-01-01 Honsell, F; Lenisa, Marina; Redamalla, R.
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
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic | 1-gen-2002 | Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino | |
TOSCA 2001 | 1-gen-2002 | Lenisa, Marina; Miculan, Marino | |
Coalgebraic Methods in Computer Science | 1-gen-2003 | Corradini, A; Lenisa, Marina; Montanari, U. | |
Generalized Coiteration Schemata | 1-gen-2003 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
Strict Geometry of Interaction Graph Models | 1-gen-2003 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Category theory for operational semantics | 1-gen-2004 | Lenisa, Marina; Power, J.; Watanabe, H. | |
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models | 1-gen-2004 | Honsell, Furio; Lenisa, Marina | |
Proceedings of the Workshop COMETA Computational Metamodels | 1-gen-2004 | Honsell, F; Lenisa, Marina; Miculan, Marino | |
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 | |
Linear realizability and full completeness for typed lambda calculi | 1-gen-2005 | Abramsky, S.; Lenisa, Marina | |
Some Properties and Some Problems on Set Functors | 1-gen-2006 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
Coalgebraic Description of Generalized Binary Methods | 1-gen-2006 | Honsell, F; Lenisa, Marina; Redamalla, R. | |
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 | |
A type assignment system for game semantics | 1-gen-2008 | DI GIANANTONIO, Pietro; 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