What's new

• 2006, April 19
  • Hayashi's paper at TLCA'05 are now available.
  • Information on Yasugi's grant is added.
  • The linkd to Chinese version is deleted.
• 2005, September 5
  • Toftdal's master thesis is now available from this web page.
• 2005, April17
  • Berardi's PowerPoint file at GALAP 2005 is linked.
  • Some informations on Hayashi's talk at TLCA'05 are added.
• 2004 fall, I am not sure when I added it. :-(
  • Berardi's slides added.
• 2004 March 21
  • Brattka's stuffs added.
  • Manusripts submitted for ALT02/TCS special issue.
• 2003 Jan 09
  • Slides for CCA-meeting and SIG-FAI are uploaded
• 2002 Dec 06
  • Chinese version uploaded.
• 2002 Nov 30
  • ALT/DS 02 talk file uploaded.
  • Addendum and Errata of the paper for ALT/DS is uploaded
• 2002 Oct 2
  • CSL 02 talk file updated.
• 2002 Sep 23
  • CSL 02 talk file uploaded
  • "What's going on" updated
• 2002 May19
  • "What's going on" updated
  • Literatures updated
• 2002 Feb 23-24:
  • "What's going on" added
  • Literatures updated
  • "Invited talks and an ward"updated
• 2001 Dec 09:
  • Literatures are updated (Nakata M. and Hayashi S,: A limiting first order realizability interpretation has been published)
    
• 2001 Oct 29:
  • TYPES 2000 paper is updated to the final version
  • RPC 01 article is added
• 2001 June 3: Update: corrupted links to papers are corrected
• 2001 June 3: Update: "The real goal" is renamed to "The ultimate goal" and contents are slightly changed.
• 2001 June 3: Update of paper: Nakata and Hayashi, "A limiting realizability interpretation ..." is updated.
• 2001 June 2: New item: The real goal
• 2001 June 1: New item: Invited talks and an award
• 2001 May 29: Update of paper: Berarid's paper linked has been updated.