Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 70
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
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
The Theory of Contexts for First Order and Higher Order Abstract Syntax 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
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
Theoretical Computer Science: Preface 1-gen-2003 Honsell, Furio; Miculan, Marino
Mostrati risultati da 1 a 20 di 70
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