Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 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
Final Semantics for a higher order concurrent langauage 1-gen-1996 Lenisa, Marina
Axiomatic Characterizations of Hyperuniverses and Applications 1-gen-1996 Forti, M; Honsell, F; Lenisa, Marina
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 1-gen-1997 Lenisa, Marina
An Axiomatization of partial n-place Operations 1-gen-1997 Forti, M; Honsell, F; Lenisa, Marina
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 1-gen-1997 Lenisa, Marina
Final Semantics for the pi-calculus 1-gen-1998 Honsell, Furio; Lenisa, Marina; Montanari, U; Pistore, U.
Operations, Collections and Sets within a General Axiomatic Framework 1-gen-1999 Forti, M; Honsell, F; Lenisa, Marina
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 1-gen-1999 Lenisa, Marina
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
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.
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 1-gen-2000 Honsell, Furio; Lenisa, Marina
Fully-complete PER Model for ML Polymorphic Types 1-gen-2000 Abramsky, S.; Lenisa, Marina
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 1-gen-2001 Abramsky, S.; Lenisa, Marina
CMCS 2001 1-gen-2001 Corradini, A; Lenisa, Marina; Montanari, U.
Mostrati risultati da 1 a 20 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