IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 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
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.
Final Semantics for the pi-calculus 1-gen-1998 Honsell, Furio; Lenisa, Marina; Montanari, U; Pistore, U.
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 1-gen-1999 Honsell, Furio; Lenisa, Marina
Coinductive Characterizations of Applicative Structures 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.
Special Issue of Theoretical Computer Science on FOSSACS 2001 1-gen-2003 Honsell, Furio; Miculan, Marino
Interpretare con azioni di collaborazione il raccordo scuola / università 1-gen-2003 Honsell, Furio; Michelini, Marisa
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
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
Strict Geometry of Interaction Graph Models 1-gen-2003 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Modeling fresh names in the π-calculus using abstractions 1-gen-2004 Bruni, R; Honsell, Furio; Lenisa, Marina; Miculan, Marino
Mobility Types in Coq 1-gen-2004 Honsell, Furio; Scagnetto, Ivan
Properties of Set Functors 1-gen-2004 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 1-gen-2004 Honsell, Furio; Lenisa, Marina
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 1-gen-2004 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 1-gen-2005 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Compositional characterisations of lambda-terms using intersection types 1-gen-2005 DEZANI CIANCAGLINI, M; Honsell, Furio; Motohama, Yoko
Functors Determined by Values on Objects 1-gen-2006 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Consistency of the Theory of Contexts 1-gen-2006 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Some Properties and Some Problems on Set Functors 1-gen-2006 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
A Framework for Defining Logical Frameworks 1-gen-2007 Honsell, Furio; Lenisa, Marina; Liquori, Luigi
Coalgebraic Description of Generalized Binary Methods 1-gen-2007 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
RPO, second-order contexts, and λ-calculus 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A type assignment system for game semantics 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A Conditional Logical Framework 1-gen-2008 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
RPO, Second-Order Contexts, and λ-Calculus 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Conway Games, coalgebraically 1-gen-2009 Honsell, Furio; Lenisa, Marina
On the Completeness of order-Theoretic Models of the lambda-calculus 1-gen-2009 Honsell, Furio; Plotkin, G.
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 1-gen-2009 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Conway's Games, algebraically and coalgebraically 1-gen-2011 Honsell, Furio; Lenisa, Marina
LLF – A Logical-Logical Framework 1-gen-2011 Honsell, Furio; Lenisa, Marina; Luigi, Liquori; Maksimovic, Petar; Scagnetto, Ivan
Logical Predicates as First-Class Citizens in LF 1-gen-2011 Honsell, Furio; Lenisa, Marina; Luigi, Liquori; Maksimovic, Petar; Scagnetto, Ivan
Categories of Coalgebraic Games 1-gen-2012 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Equivalences and Congruences on Infinite Conway's Games 1-gen-2012 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
LFP - A Logical Framework with External Predicates 1-gen-2012 Honsell, Furio; Lenisa, Marina; Liquori, L; Maksimovic, Petar; Scagnetto, Ivan
Intersection Types λS∩ 1-gen-2013 Alessi, Fabio; Mariangiola, Dezani ciancoglini; Honsell, Furio; Paula, Severi
Unfixing the Fixpoint: the theories of the lambdaY-calculus 1-gen-2013 Honsell, Furio; Lenisa, Marina
Mostrati risultati da 1 a 50 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