E-LIB Suche - Ergebnisse für: LENISA, Marina

1

Multigames and strategies, coalgebraically:

Lenisa, Marina
Theoretical Computer Science. 604 (2015) - p. 46-62 , 2015

Link: https://doi.org/10.1016/..

2

An open logical framework:

Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan..
Journal of Logic and Computation. 26 (2013) 1 - p. 293-335 , 2013

Link: https://doi.org/10.1093/..

3

LFP : a logical framework with external predicates:

, In: Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice,

Honsell, Furio ; Lenisa, Marina ; Liquori, Luigi.. - p. 13-22 , 2012

Link: https://dl.acm.org/doi/1..

4

Equivalences and Congruences on Infinite Conway Games:

Honsell, Furio ; Lenisa, Marina ; Redamalla, Rekha
RAIRO - Theoretical Informatics and Applications. 46 (2012) 2 - p. 231-259 , 2012

Link: https://doi.org/10.1051/..

5

Algebra and coalgebra in computer science

third international conference, CALCO 2009, Udine, Italy, S... Lecture notes in computer science ; 5728

Kurz, Alexander ; Lenisa, Marina ; Tarlecki, Andrzej , 2009

Link: http://dx.doi.org/10.100..

6

A type assignment system for game semantics:

Di Gianantonio, Pietro ; Honsell, Furio ; Lenisa, Marina
Theoretical Computer Science. 398 (2008) 1-3 - p. 150-169 , 2008

Link: https://doi.org/10.1016/..

7

A Framework for Defining Logical Frameworks:

Honsell, Furio ; Lenisa, Marina ; Liquori, Luigi
Electronic Notes in Theoretical Computer Science. 172 (2007) - p. 399-436 , 2007

Link: https://doi.org/10.1016/..

8

Coalgebraic description of generalised binary methods:

HONSELL, FURIO ; LENISA, MARINA ; REDAMALLA, REKHA
Mathematical Structures in Computer Science. 17 (2007) 4 - p. 647-673 , 2007

Link: https://doi.org/10.1017/..

9

Some Properties and Some Problems on Set Functors:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 164 (2006) 1 - p. 67-84 , 2006

Link: https://doi.org/10.1016/..

10

Functors Determined by Values on Objects:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 158 (2006) - p. 151-169 , 2006

Link: https://doi.org/10.1016/..

11

Coalgebraic Description of Generalized Binary Methods:

Honsell, Furio ; Lenisa, Marina ; Redamalla, Rekha
Electronic Notes in Theoretical Computer Science. 135 (2006) 3 - p. 73-84 , 2006

Link: https://doi.org/10.1016/..

12

Linear realizability and full completeness for typed lambda..:

Abramsky, Samson ; Lenisa, Marina
Annals of Pure and Applied Logic. 134 (2005) 2-3 - p. 122-168 , 2005

Link: https://doi.org/10.1016/..

13

Properties of Set Functors:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 104 (2004) - p. 61-80 , 2004

Link: https://doi.org/10.1016/..

14

Modeling Fresh Names in the π-calculus Using Abstractions:

Bruni, Roberto ; Honsell, Furio ; Lenisa, Marina.
Electronic Notes in Theoretical Computer Science. 106 (2004) - p. 25-41 , 2004

Link: https://doi.org/10.1016/..

15

Category theory for operational semantics:

Lenisa, Marina ; Power, John ; Watanabe, Hiroshi
Theoretical Computer Science. 327 (2004) 1-2 - p. 135-154 , 2004

Link: https://doi.org/10.1016/..