[FOM] Ludics:
Thomas Forster
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
he says:
---------- 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)
Dear Thomas,
There is an explanatory piece about ludics as my
innocent game semantics in LNCS 2471 possibly on
Claudia Faggian's home page.
But ... .
Martin
Claudia is at DPMMS in Cambridge. The dept home
page is www.dpmms.cam.ac.uk
More information about the FOM
mailing list