LENISA, Marina
LENISA, Marina
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects
1999-01-01 Lenisa, Marina
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning
2019-01-01 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
A Framework for Defining Logical Frameworks
2007-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi
1997-01-01 Lenisa, Marina
An Axiomatization of partial n-place Operations
1997-01-01 Forti, M; Honsell, F; Lenisa, Marina
An Open Logical Framework
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
Axiomatic Characterizations of Hyperuniverses and Applications
1996-01-01 Forti, M; Honsell, F; Lenisa, Marina
Axiomatizing Fully Complete Models for ML Polymorphic Types
2000-01-01 Abramsky, S; Lenisa, Marina
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science
2009-01-01 Kurz, A.; Tarlecki, A.; Lenisa, M.
Categories of Coalgebraic Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Categories of Coalgebraic Games with Selective Sum
2014-01-01 Honsell, Furio; Lenisa, Marina; Pellarini, D.
Category theory for operational semantics
2004-01-01 Lenisa, Marina; Power, J.; Watanabe, H.
CMCS 2001
2001-01-01 Corradini, A; Lenisa, Marina; Montanari, U.
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
2000-01-01 Honsell, Furio; Lenisa, Marina
Coalgebraic Description of Generalized Binary Methods
2006-01-01 Honsell, F; Lenisa, Marina; Redamalla, R.
Coalgebraic Description of Generalized Binary Methods
2007-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Methods in Computer Science
2003-01-01 Corradini, A; Lenisa, Marina; Montanari, U.
Coalgebraic Multigames
2014-01-01 Lenisa, Marina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects | 1-gen-1999 | Lenisa, Marina | |
| A Conditional Logical Framework | 1-gen-2008 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
| A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning | 1-gen-2019 | Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M. | |
| A Framework for Defining Logical Frameworks | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi | |
| A type assignment system for game semantics | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
| A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi | 1-gen-1997 | Lenisa, Marina | |
| An Axiomatization of partial n-place Operations | 1-gen-1997 | Forti, M; Honsell, F; Lenisa, Marina | |
| An Open Logical Framework | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan | |
| Axiomatic Characterizations of Hyperuniverses and Applications | 1-gen-1996 | Forti, M; Honsell, F; Lenisa, Marina | |
| Axiomatizing Fully Complete Models for ML Polymorphic Types | 1-gen-2000 | Abramsky, S; Lenisa, Marina | |
| CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science | 1-gen-2009 | Kurz, A.; Tarlecki, A.; Lenisa, M. | |
| Categories of Coalgebraic Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Categories of Coalgebraic Games with Selective Sum | 1-gen-2014 | Honsell, Furio; Lenisa, Marina; Pellarini, D. | |
| Category theory for operational semantics | 1-gen-2004 | Lenisa, Marina; Power, J.; Watanabe, H. | |
| CMCS 2001 | 1-gen-2001 | Corradini, A; Lenisa, Marina; Montanari, U. | |
| Coalgebraic Coinduction in (Hyper)set-theoretic Categories | 1-gen-2000 | Honsell, Furio; Lenisa, Marina | |
| Coalgebraic Description of Generalized Binary Methods | 1-gen-2006 | Honsell, F; Lenisa, Marina; Redamalla, R. | |
| Coalgebraic Description of Generalized Binary Methods | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Coalgebraic Methods in Computer Science | 1-gen-2003 | Corradini, A; Lenisa, Marina; Montanari, U. | |
| Coalgebraic Multigames | 1-gen-2014 | Lenisa, Marina |