LENISA, Marina

LENISA, Marina  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 65 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 1-gen-1999 Lenisa, Marina
A Conditional Logical Framework 1-gen-2008 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 1-gen-2019 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
A Framework for Defining Logical Frameworks 1-gen-2007 Honsell, Furio; Lenisa, Marina; Liquori, Luigi
A type assignment system for game semantics 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; 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
An Open Logical Framework 1-gen-2016 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
Axiomatic Characterizations of Hyperuniverses and Applications 1-gen-1996 Forti, M; Honsell, F; Lenisa, Marina
Axiomatizing Fully Complete Models for ML Polymorphic Types 1-gen-2000 Abramsky, S; Lenisa, Marina
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 1-gen-2009 Kurz, A.; Tarlecki, A.; Lenisa, M.
Categories of Coalgebraic Games 1-gen-2012 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Categories of Coalgebraic Games with Selective Sum 1-gen-2014 Honsell, Furio; Lenisa, Marina; Pellarini, D.
Category theory for operational semantics 1-gen-2004 Lenisa, Marina; Power, J.; Watanabe, H.
CMCS 2001 1-gen-2001 Corradini, A; Lenisa, Marina; Montanari, U.
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 1-gen-2000 Honsell, Furio; Lenisa, Marina
Coalgebraic Description of Generalized Binary Methods 1-gen-2006 Honsell, F; Lenisa, Marina; Redamalla, R.
Coalgebraic Description of Generalized Binary Methods 1-gen-2007 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Methods in Computer Science 1-gen-2003 Corradini, A; Lenisa, Marina; Montanari, U.
Coalgebraic Multigames 1-gen-2014 Lenisa, Marina