Sfoglia per Autore HONSELL, Furio
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 Variable Typed Logic of Effects
1995-01-01 Honsell, Furio; I., Mason; S., Smith; C., Talcott
Final Semantics for untyped lambda-calculus
1995-01-01 Honsell, Furio; Lenisa, Marina
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
Final Semantics for the pi-calculus
1998-01-01 Honsell, Furio; Lenisa, Marina; Montanari, U; Pistore, U.
Encoding Modal Logics in Logical Frameworks
1998-01-01 Avron, Arnon; Honsell, Furio; Miculan, Marino; Paravano, Cristian
A lambda calculus of objects with self-inflicted extension
1998-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L.
Coinductive Characterizations of Applicative Structures
1999-01-01 Honsell, Furio; Lenisa, Marina
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus
1999-01-01 Honsell, Furio; Lenisa, Marina
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
2000-01-01 Honsell, Furio; Lenisa, Marina
The Theory of Contexts for First Order and Higher Order Abstract Syntax
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Approximation Theorems for intersection type systems
2001-01-01 DEZANI CIANCAGLINI, M.; Honsell, Furio; Motohama, Yoko
Prelogical relations
2002-01-01 Honsell, Furio; Sannella, D.
Interpretare con azioni di collaborazione il raccordo scuola / università
2003-01-01 Honsell, Furio; Michelini, Marisa
Special Issue of Theoretical Computer Science on FOSSACS 2001
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
Generalized Coiteration Schemata
2003-01-01 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
A category of compositional domain-models for separable Stone spaces
2003-01-01 Alessi, Fabio; Baldan, P; Honsell, Furio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 Variable Typed Logic of Effects | 1-gen-1995 | Honsell, Furio; I., Mason; S., Smith; C., Talcott | |
Final Semantics for untyped lambda-calculus | 1-gen-1995 | Honsell, Furio; Lenisa, Marina | |
A natural deduction approach to dynamic logic | 1-gen-1996 | Honsell, Furio; Miculan, Marino | |
Final Semantics for the pi-calculus | 1-gen-1998 | Honsell, Furio; Lenisa, Marina; Montanari, U; Pistore, U. | |
Encoding Modal Logics in Logical Frameworks | 1-gen-1998 | Avron, Arnon; Honsell, Furio; Miculan, Marino; Paravano, Cristian | |
A lambda calculus of objects with self-inflicted extension | 1-gen-1998 | DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L. | |
Coinductive Characterizations of Applicative Structures | 1-gen-1999 | Honsell, Furio; Lenisa, Marina | |
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus | 1-gen-1999 | Honsell, Furio; Lenisa, Marina | |
Coalgebraic Coinduction in (Hyper)set-theoretic Categories | 1-gen-2000 | Honsell, Furio; Lenisa, Marina | |
The Theory of Contexts for First Order and Higher Order Abstract Syntax | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
Approximation Theorems for intersection type systems | 1-gen-2001 | DEZANI CIANCAGLINI, M.; Honsell, Furio; Motohama, Yoko | |
Prelogical relations | 1-gen-2002 | Honsell, Furio; Sannella, D. | |
Interpretare con azioni di collaborazione il raccordo scuola / università | 1-gen-2003 | Honsell, Furio; Michelini, Marisa | |
Special Issue of Theoretical Computer Science on FOSSACS 2001 | 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 | |
Generalized Coiteration Schemata | 1-gen-2003 | Cancila, Daniela; Honsell, Furio; Lenisa, Marina | |
A category of compositional domain-models for separable Stone spaces | 1-gen-2003 | Alessi, Fabio; Baldan, P; Honsell, Furio |
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