HONSELL, Furio

HONSELL, Furio  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.049 secondi).
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