LECTURE AUDIO AND SLIDES

October 25, 2014

Imperative Programs as Proofs via Game Semantics
Martin Churchill
University of Bath

This web presentation contains the audio and slides of a lecture given at the Fields Institute on June 21, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

Listen to audio presentation:


You may browse the slides in the presentation (a browser capable of displaying PNG graphics is required). Or, you may download a higher-resolution printer-ready version in PDF format (requires Acrobat Reader).

Shown: slide 9, large size.   Previous Slide | Next Slide | Switch to small size

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Image of Slide