[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