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.
Final Semantics for untyped lambda-calculus
1995-01-01 Honsell, Furio; Lenisa, Marina
A Variable Typed Logic of Effects
1995-01-01 Honsell, Furio; I., Mason; S., Smith; C., Talcott
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
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
The Theory of Contexts for First Order and Higher Order Abstract Syntax
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
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
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
A complete characterization of complete intersection-type preorders
2003-01-01 M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio
| 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. | |
| Final Semantics for untyped lambda-calculus | 1-gen-1995 | Honsell, Furio; Lenisa, Marina | |
| A Variable Typed Logic of Effects | 1-gen-1995 | Honsell, Furio; I., Mason; S., Smith; C., Talcott | |
| 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 | |
| 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 | |
| The Theory of Contexts for First Order and Higher Order Abstract Syntax | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
| 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 | |
| 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 | |
| A complete characterization of complete intersection-type preorders | 1-gen-2003 | M., Dezani Ciancaglini; Honsell, Furio; Alessi, Fabio |
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