Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marina Lenisa
2010 – today
- 2012
[j25]Furio Honsell, Marina Lenisa, Rekha Redamalla: Equivalences and Congruences on Infinite Conway Games. RAIRO - Theor. Inf. and Applic. 46(2): 231-259 (2012)- [c19]
- 2011
- [j24]Furio Honsell, Marina Lenisa: Conway games, algebraically and coalgebraically. Logical Methods in Computer Science 7(3) (2011)
- 2010
- [c18]Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa: Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. CONCUR 2010: 358-372
2000 – 2009
- 2009
- [j23]Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-order Contexts, and Lambda-calculus. Logical Methods in Computer Science 5(3) (2009)
- [c17]
- [e1]Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science 5728, Springer 2009, ISBN 978-3-642-03740-5
- 2008
- [j22]Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: A type assignment system for game semantics. Theor. Comput. Sci. 398(1-3): 150-169 (2008)
- [c16]Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS 2008: 334-349
- [c15]Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
- [c14]Pietro Di Gianantonio, Furio Honsell, Marina Lenisa: Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. WADT 2008: 119-134
- 2007
- [j21]Furio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007)
- [j20]Furio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic description of generalised binary methods. Mathematical Structures in Computer Science 17(4): 647-673 (2007)
- 2006
- [j19]Furio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Description of Generalized Binary Methods. Electr. Notes Theor. Comput. Sci. 135(3): 73-84 (2006)
- [j18]Daniela Cancila, Furio Honsell, Marina Lenisa: Functors Determined by Values on Objects. Electr. Notes Theor. Comput. Sci. 158: 151-169 (2006)
- [j17]Daniela Cancila, Furio Honsell, Marina Lenisa: Some Properties and Some Problems on Set Functors. Electr. Notes Theor. Comput. Sci. 164(1): 67-84 (2006)
- 2005
- [j16]Samson Abramsky, Marina Lenisa: Linear realizability and full completeness for typed lambda-calculi. Ann. Pure Appl. Logic 134(2-3): 122-168 (2005)
- 2004
- [j15]Furio Honsell, Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004)
- [j14]Daniela Cancila, Furio Honsell, Marina Lenisa: Properties of Set Functors. Electr. Notes Theor. Comput. Sci. 104: 61-80 (2004)
- [j13]Furio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. Electr. Notes Theor. Comput. Sci. 104: 163-180 (2004)
- [j12]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Modeling Fresh Names in the ?-calculus Using Abstractions. Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004)
- [j11]Marina Lenisa, John Power, Hiroshi Watanabe: Category theory for operational semantics. Theor. Comput. Sci. 327(1-2): 135-154 (2004)
- 2003
- [j10]Daniela Cancila, Furio Honsell, Marina Lenisa: Generalized Coiteration Schemata. Electr. Notes Theor. Comput. Sci. 82(1): 76-93 (2003)
- [c13]Furio Honsell, Marina Lenisa, Rekha Redamalla: Strict Geometry of Interaction Graph Models. LPAR 2003: 407-421
- [c12]Furio Honsell, Marina Lenisa: "Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. TYPES 2003: 242-258
- 2001
- [j9]Andrea Corradini, Marina Lenisa, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 44(1): 308-309 (2001)
- [j8]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: 136-156 (2001)
- [j7]
- [c11]Samson Abramsky, Marina Lenisa: Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. CSL 2001: 443-457
- 2000
- [j6]Furio Honsell, Marina Lenisa: Coalgebraic Coinduction in (Hyper)set-theoretic Categories. Electr. Notes Theor. Comput. Sci. 33: 132-159 (2000)
- [j5]Marina Lenisa, John Power, Hiroshi Watanabe: Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electr. Notes Theor. Comput. Sci. 33: 230-260 (2000)
- [c10]Samson Abramsky, Marina Lenisa: A Fully Complete PER Model for ML Polymorphic Types. CSL 2000: 140-155
- [c9]Samson Abramsky, Marina Lenisa: Axiomatizing Fully Complete Models for ML Polymorphic Types. MFCS 2000: 141-151
1990 – 1999
- 1999
- [j4]Marina Lenisa: From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems. Electr. Notes Theor. Comput. Sci. 19: 2-22 (1999)
- [j3]Furio Honsell, Marina Lenisa: Coinductive characterizations of applicative structures. Mathematical Structures in Computer Science 9(4): 403-435 (1999)
- [j2]Furio Honsell, Marina Lenisa: Semantical Analysis of Perpetual Strategies in lambda-Calculus. Theor. Comput. Sci. 212(1-2): 183-209 (1999)
- [c8]Marina Lenisa: A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects. FoSSaCS 1999: 243-257
- 1998
- [c7]Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore: Final semantics for the pi-calculus. PROCOMET 1998: 225-243
- 1997
- [j1]Marco Forti, Furio Honsell, Marina Lenisa: An Axiomatization of Partial n-Place Operations. Mathematical Structures in Computer Science 7(3): 283-302 (1997)
- [c6]Marina Lenisa: A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi. TAPSOFT 1997: 309-320
- [c5]Marina Lenisa: Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi. TLCA 1997: 248-266
- 1996
- [c4]
- 1995
- [c3]
- 1994
- [c2]
- 1993
- [c1]Furio Honsell, Marina Lenisa: Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. MFCS 1993: 84-104
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-05 22:14 CEST by the dblp team