Andrea Schalk

According to our database, Andrea Schalk authored at least 14 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms.

Joseph Razavi, Andrea Schalk

Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 2018

2015

Constructing Fully Complete Models of Multiplicative Linear Logic.

Andrea Schalk, Hugh P. Steele

Log. Methods Comput. Sci., 2015

2010

10252 Executive Summary - Game Semantics and Program Verification.

Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz

Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010

10252 Abstracts Collection - Game Semantics and Program Verification.

Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz

Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010

2005

Modelling Linear Logic Without Units (Preliminary Results).

Robin Houston, Dominic J. D. Hughes, Andrea Schalk

CoRR, 2005

Concrete data structures as games.

Andrea Schalk

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Poset-valued sets or how to build models for linear logics.

Andrea Schalk, Valeria de Paiva

Theor. Comput. Sci., 2004

Concrete Data Structures as Games.

Andrea Schalk, José Juan Palacios Pérez

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2003

Glueing and orthogonality for models of linear logic.

Martin Hyland, Andrea Schalk

Theor. Comput. Sci., 2003

2002

Games on Graphs and Sequentially Realizable Functionals.

Martin Hyland, Andrea Schalk

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

A fully abstract denotational model for observational precongruence.

Anna Ingólfsdóttir, Andrea Schalk

Theor. Comput. Sci., 2001

1999

Abstract Games for Linear Logic.

Martin Hyland, Andrea Schalk

Proceedings of the Conference on Category Theory and Computer Science, 1999

1998

Building Models of Linear Logic.

Valeria de Paiva, Andrea Schalk

Proceedings of the Algebraic Methodology and Software Technology, 1998

1993

Algebras for generalized power constructions.

Andrea Schalk

PhD thesis, 1993