T.Forster at dpmms.cam.ac.uk
Fri Jun 20 06:55:21 EDT 2003
Martin Hyland knows about this stuff, but he's not on FOM. However
---------- Forwarded message ----------
Date: Fri, 20 Jun 2003 11:28:10 +0100 (BST)
From: Martin Hyland <M.Hyland at dpmms.cam.ac.uk>
To: Thomas Forster <T.Forster at dpmms.cam.ac.uk>
Subject: Re: ludics: Re: [FOM] June 2003 issue of the BSL (fwd)
There is an explanatory piece about ludics as my
innocent game semantics in LNCS 2471 possibly on
Claudia Faggian's home page.
But ... .
Claudia is at DPMMS in Cambridge. The dept home
page is www.dpmms.cam.ac.uk
More information about the FOM