Sfoglia per Autore
Some Results on Restricted lambda-calculi
1993-01-01 Honsell, F; Lenisa, Marina
Processes and Hyperuniverses
1994-01-01 Forti, M; Honsell, F; Lenisa, Marina
Final Semantics for untyped lambda-calculus
1995-01-01 Honsell, Furio; Lenisa, Marina
Final Semantics for a higher order concurrent langauage
1996-01-01 Lenisa, Marina
Axiomatic Characterizations of Hyperuniverses and Applications
1996-01-01 Forti, M; Honsell, F; Lenisa, Marina
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi
1997-01-01 Lenisa, Marina
An Axiomatization of partial n-place Operations
1997-01-01 Forti, M; Honsell, F; Lenisa, Marina
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi
1997-01-01 Lenisa, Marina
Final Semantics for the pi-calculus
1998-01-01 Honsell, Furio; Lenisa, Marina; Montanari, U; Pistore, U.
Operations, Collections and Sets within a General Axiomatic Framework
1999-01-01 Forti, M; Honsell, F; Lenisa, Marina
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
1999-01-01 Lenisa, Marina
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus
1999-01-01 Honsell, Furio; Lenisa, Marina
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects
1999-01-01 Lenisa, Marina
Coinductive Characterizations of Applicative Structures
1999-01-01 Honsell, Furio; Lenisa, Marina
Axiomatizing Fully Complete Models for ML Polymorphic Types
2000-01-01 Abramsky, S; Lenisa, Marina
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
2000-01-01 Lenisa, Marina; Power, J; Watanabe, H.
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
2000-01-01 Honsell, Furio; Lenisa, Marina
Fully-complete PER Model for ML Polymorphic Types
2000-01-01 Abramsky, S.; Lenisa, Marina
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus
2001-01-01 Abramsky, S.; Lenisa, Marina
CMCS 2001
2001-01-01 Corradini, A; Lenisa, Marina; Montanari, U.
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