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