Andrea Schalk

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 3

Top Venues

CoRR

Log. Methods Comput. Sci.

DCM/ITRS

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

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

Andrea Schalk.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrea Schalk