1. Martin Churchill, Jim Laird & Guy McCusker (2013). Imperative Programs as Proofs Via Game Semantics. Annals of Pure and Applied Logic 164 (11):1038-1078.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Guy McCusker & Dan Ghica (2008). Foreword for Special Issue of APAL for GaLoP 2005. Annals of Pure and Applied Logic 151 (2):69.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Guy McCusker (1997). Games and Definability for FPC. Bulletin of Symbolic Logic 3 (3):347-362.
    A new games model of the language FPC, a type theory with products, sums, function spaces and recursive types, is described. A definability result is proved, showing that every finite element of the model is the interpretation of some term of the language.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation