IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 65
Titolo Data di pubblicazione Autore(i) File
Some Results on Restricted lambda-calculi 1-gen-1993 Honsell, F; Lenisa, Marina
Processes and Hyperuniverses 1-gen-1994 Forti, M; Honsell, F; Lenisa, Marina
Final Semantics for untyped lambda-calculus 1-gen-1995 Honsell, Furio; Lenisa, Marina
Axiomatic Characterizations of Hyperuniverses and Applications 1-gen-1996 Forti, M; Honsell, F; Lenisa, Marina
Final Semantics for a higher order concurrent langauage 1-gen-1996 Lenisa, Marina
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 1-gen-1997 Lenisa, Marina
An Axiomatization of partial n-place Operations 1-gen-1997 Forti, M; Honsell, F; Lenisa, Marina
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 1-gen-1997 Lenisa, Marina
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
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 1-gen-1999 Lenisa, Marina
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 1-gen-1999 Lenisa, Marina
Operations, Collections and Sets within a General Axiomatic Framework 1-gen-1999 Forti, M; Honsell, F; Lenisa, Marina
Coinductive Characterizations of Applicative Structures 1-gen-1999 Honsell, Furio; Lenisa, Marina
Axiomatizing Fully Complete Models for ML Polymorphic Types 1-gen-2000 Abramsky, S; Lenisa, Marina
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 1-gen-2000 Lenisa, Marina; Power, J; Watanabe, H.
Fully-complete PER Model for ML Polymorphic Types 1-gen-2000 Abramsky, S.; Lenisa, Marina
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 1-gen-2000 Honsell, Furio; Lenisa, Marina
CMCS 2001 1-gen-2001 Corradini, A; Lenisa, Marina; Montanari, U.
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 1-gen-2001 Abramsky, S.; Lenisa, Marina
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 1-gen-2002 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
TOSCA 2001 1-gen-2002 Lenisa, Marina; Miculan, Marino
Generalized Coiteration Schemata 1-gen-2003 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
Coalgebraic Methods in Computer Science 1-gen-2003 Corradini, A; Lenisa, Marina; Montanari, U.
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
Proceedings of the Workshop COMETA Computational Metamodels 1-gen-2004 Honsell, F; Lenisa, Marina; Miculan, Marino
Category theory for operational semantics 1-gen-2004 Lenisa, Marina; Power, J.; Watanabe, H.
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
Linear realizability and full completeness for typed lambda calculi 1-gen-2005 Abramsky, S.; Lenisa, Marina
Coalgebraic Description of Generalized Binary Methods 1-gen-2006 Honsell, F; Lenisa, Marina; Redamalla, R.
Functors Determined by Values on Objects 1-gen-2006 Cancila, Daniela; Honsell, Furio; Lenisa, Marina
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
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
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 1-gen-2009 Kurz, A.; Tarlecki, A.; Lenisa, M.
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 1-gen-2009 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 1-gen-2010 DI GIANANTONIO, Pietro; Jaksic, Svetlana; 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
Mostrati risultati da 1 a 50 di 65
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