Some Publications by Andrea Schalk

A. Schalk. Domains arising as algebras for power space monads. In: Journal of Pure and Applied Algebra 89 (1993), pp. 305--328.

Doctoral Dissertation: Algebras for Generalized Power Constructions. TU Darmstadt, 1993.

A. Ingólfsdóttir and A. Schalk. A Fully Abstract Denotational Model for Observational Precongruence. In: Hans Kleine Büning, editor, Proceedings of CSL '95, Paderborn, pp. 335--361, Volume 1092 of Springer Lecture Notes in Computer Science 1092, 1996. (There is a preliminary technical report available on-line.)

A. Ingólfsdóttir and A. Schalk. A Fully Abstract Denotational Model for Observational Precongruence. Theoretical Computer Science 254 (2001), pp. 35--61.

V. de Paiva and A. Schalk. Building models for Linear Logic. In: Proc. of the 7th Conference on Algebraic Methodology and Software Technology (AMAST '98), Springer LNCS 1548 (1999), pp. 164--177.

A. Schalk and V. de Paiva. Poset-valued sets, or, How to build models for Linear Logic. In Theoretical Computer Science 315 (2004), pp 83-107. Preprint versions in gzipped postscript and pdf format.

For some reason this article (all of Volume 29) currently isn't available from the Elsevier webpage, so I provide the preprint here. M. Hyland and A. Schalk. Abstract Games for Linear Logic. Extended Abstract, 26 pp. In Proceedings of CTCS '99, Volume 29 of Electronic Notes in Theoretical Computer Science.

M. Hyland and A. Schalk. Glueing and Orthogonality for Models of Linear Logic. In Theoretical Computer Science 294 (2003), pp. 183--231. Here is the preprint version as gzipped postscript.

M. Hyland and A. Schalk Games on Graphs and Sequentially Realizable Functionals. Extended Abstract. In: Proc. Logic in Computer Science 2002, IEEE Computer Science Press, pp. 257--264. Also in pdf format.

A. Schalk and JJ. Palacios-Perez. Concrete Data Structures as Games. In: Proceedings of CTCS04, Copenhagen, Volume 122 of Electronic Notes in Theoretical Computer Science. The preliminary version (which apart from lay-out is almost identical) is available in gzipped ps format.

8 March 2005