Skip to contents

Kurz, Alexander [Editor]; Lenisa, Marina [Other]; Tarlecki, Andrzej [Other] ; CALCO 3 2009 Udine

Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5728
Kurz, Alexander [Author] ; Lenisa, Marina [Other]; Tarlecki, Andrzej [Other]

Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5728
Di Gianantonio, Pietro [Author]; Lenisa, Marina [Author] ; Pietro Di Gianantonio and Marina Lenisa [Contributor]

Principal Types as Lambda Nets

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Di Gianantonio, Pietro [Author]; Lenisa, Marina [Author] ; Pietro Di Gianantonio and Marina Lenisa [Contributor]

Innocent Game Semantics via Intersection Type Assignment Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Honsell, Furio [Author]; Lenisa, Marina [Author]; Scagnetto, Ivan [Author] ; Furio Honsell and Marina Lenisa and Ivan Scagnetto [Contributor]

Λ-Symsym: An Interactive Tool for Playing with Involutions and Types

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Dal Lago, Ugo [Author]; Honsell, Furio [Author]; Lenisa, Marina [Author]; Pistone, Paolo [Author] ; Ugo Dal Lago and Furio Honsell and Marina Lenisa and Paolo Pistone [Contributor]

On Quantitative Algebraic Higher-Order Theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Ciaffaglione, Alberto [Author]; Di Gianantonio, Pietro [Author]; Honsell, Furio [Author]; Lenisa, Marina [Author]; Scagnetto, Ivan [Author] ; Alberto Ciaffaglione and Pietro Di Gianantonio and Furio Honsell and Marina Lenisa and Ivan Scagnetto [Contributor]

lambda!-calculus, Intersection Types, and Involutions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Lenisa, Marina

Multigames and strategies, coalgebraically

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2015

Published in: Theoretical Computer Science
Lenisa, Marina

Advanced Information Systems Engineering: Coalgebraic Multigames

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2014

Published in: Advanced Information Systems Engineering
Lenisa, Marina

From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1999

Published in: Electronic Notes in Theoretical Computer Science
Lenisa, Marina

Lecture Notes in Computer Science: A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Lecture Notes in Computer Science
Lenisa, Marina

Lecture Notes in Computer Science: Semantic techniques for deriving coinductive characterizations of observational equivalences for λ-calculi

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Lecture Notes in Computer Science
Lenisa, Marina

TAPSOFT '97: Theory and Practice of Software Development: A uniform syntactical method for proving coinduction principles in λ-calculi

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: TAPSOFT '97: Theory and Practice of Software Development
Lenisa, Marina

Trees in Algebra and Programming — CAAP '96: Final semantics for a higher order concurrent language

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1996

Published in: Trees in Algebra and Programming — CAAP '96
Honsell, Furio; Lenisa, Marina

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Unfixing the Fixpoint: The Theories of the λY-Calculus

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Honsell, Furio; Lenisa, Marina

Conway games, algebraically and coalgebraically

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Centre pour la Communication Scientifique Directe (CCSD), 2011

Published in: Logical Methods in Computer Science
Honsell, Furio; Lenisa, Marina

Algebra and Coalgebra in Computer Science: Conway Games, Coalgebraically

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Algebra and Coalgebra in Computer Science
Honsell, Furio; Lenisa, Marina

Lecture Notes in Computer Science: “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Lecture Notes in Computer Science
Abramsky, Samson; Lenisa, Marina

Linear realizability and full completeness for typed lambda-calculi

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Annals of Pure and Applied Logic
Lenisa, Marina; Miculan, Marino

Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2002

Published in: Electronic Notes in Theoretical Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication