Andrea Schalk

18 papers A* 2B 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Modelling Multiplicative Linear Logic via Deep Inference.
CoRR
Tomer Galor, Andrea Schalk
2018 — conf
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms.
DCM/ITRS
Joseph Razavi, Andrea Schalk
2015 J jnl
Constructing Fully Complete Models of Multiplicative Linear Logic.
Log. Methods Comput. Sci.
Andrea Schalk, Hugh P. Steele
2012 A* conf
Constructing Fully Complete Models for Multiplicative Linear Logic.
LICS
Andrea Schalk, Hugh P. Steele
2010 — conf
10252 Abstracts Collection - Game Semantics and Program Verification.
Game Semantics and Program Verification
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz
2010 — conf
10252 Executive Summary - Game Semantics and Program Verification.
Game Semantics and Program Verification
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz
2010 — ed.
Game Semantics and Program Verification, 20.06. - 25.06.2010
Game Semantics and Program Verification
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz
2005 — conf
Concrete data structures as games.
GALOP@ETAPS
Andrea Schalk
2005 J jnl
Modelling Linear Logic Without Units (Preliminary Results).
CoRR
Robin Houston, Dominic J. D. Hughes, Andrea Schalk
2004 — conf
Concrete Data Structures as Games.
CTCS
Andrea Schalk, José Juan Palacios Pérez
2004 J jnl
Poset-valued sets or how to build models for linear logics.
Theor. Comput. Sci.
Andrea Schalk, Valeria de Paiva
2003 J jnl
Glueing and orthogonality for models of linear logic.
Theor. Comput. Sci.
Martin Hyland, Andrea Schalk
2002 A* conf
Games on Graphs and Sequentially Realizable Functionals.
LICS
Martin Hyland, Andrea Schalk
2001 J jnl
A fully abstract denotational model for observational precongruence.
Theor. Comput. Sci.
Anna Ingólfsdóttir, Andrea Schalk
1999 — conf
Abstract Games for Linear Logic.
CTCS
Martin Hyland, Andrea Schalk
1998 — conf
Building Models of Linear Logic.
AMAST
Valeria de Paiva, Andrea Schalk
1995 B conf
A Fully Abstract Denotational Model for Observational Precongruence.
CSL
Anna Ingólfsdóttir, Andrea Schalk
1993 — —
Algebras for generalized power constructions.
Andrea Schalk