HONSELL, Furio
HONSELL, Furio
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A category of compositional domain-models for separable Stone spaces
2003-01-01 Alessi, Fabio; Baldan, P; Honsell, Furio
A complete characterization of complete intersection-type preorders
2003-01-01 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
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 Framework for Defining Logics
1993-01-01 Harper, R.; Honsell, Furio; Plotkin, G.
A Lambda Calculus of Objects and Method Specialization
1994-01-01 Fisher, K.; Honsell, Furio; Mitchell, J.
A lambda calculus of objects with self-inflicted extension
1998-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L.
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A Variable Typed Logic of Effects
1995-01-01 Honsell, Furio; I., Mason; S., Smith; C., Talcott
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
An Open Logical Framework
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
Approximation Theorems for intersection type systems
2001-01-01 DEZANI CIANCAGLINI, M.; Honsell, Furio; Motohama, Yoko
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.
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
2000-01-01 Honsell, Furio; Lenisa, Marina
Coalgebraic Description of Generalized Binary Methods
2007-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language
2004-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coinductive Characterizations of Applicative Structures
1999-01-01 Honsell, Furio; Lenisa, Marina
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A category of compositional domain-models for separable Stone spaces | 1-gen-2003 | Alessi, Fabio; Baldan, P; Honsell, Furio | |
A complete characterization of complete intersection-type preorders | 1-gen-2003 | M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio | |
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 Framework for Defining Logics | 1-gen-1993 | Harper, R.; Honsell, Furio; Plotkin, G. | |
A Lambda Calculus of Objects and Method Specialization | 1-gen-1994 | Fisher, K.; Honsell, Furio; Mitchell, J. | |
A lambda calculus of objects with self-inflicted extension | 1-gen-1998 | DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L. | |
A natural deduction approach to dynamic logic | 1-gen-1996 | Honsell, Furio; Miculan, Marino | |
A type assignment system for game semantics | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
A Variable Typed Logic of Effects | 1-gen-1995 | Honsell, Furio; I., Mason; S., Smith; C., Talcott | |
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
An Open Logical Framework | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan | |
Approximation Theorems for intersection type systems | 1-gen-2001 | DEZANI CIANCAGLINI, M.; Honsell, Furio; Motohama, Yoko | |
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. | |
Coalgebraic Coinduction in (Hyper)set-theoretic Categories | 1-gen-2000 | Honsell, Furio; Lenisa, Marina | |
Coalgebraic Description of Generalized Binary Methods | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language | 1-gen-2004 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Coinductive Characterizations of Applicative Structures | 1-gen-1999 | Honsell, Furio; Lenisa, Marina |