[FOM] June 2003 issue of the BSL

[David J. Pym]

Two articles in Proc. CSL 2002, LNCS 2471, may be
of some help (they certainly have been for me):

1. Faggian, C.
    Travelling on Designs: Ludics Dynamics,
    426-441.

2. Faggian, C. and M. Hyland.
    Designs, Disputes and Strategies,
    442-457.

The latter gives a game-theoretic explanation of
Ludics.

David Pym


-- 
Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: d.j.pym at bath.ac.uk
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp