Acts of the Programme Semantics and Syntax

External Link
Arnold Beckmann and Benedikt Löwe
College Publication, 19 June 2013. ISBN 978-1-84890-080-6.
Publication year: 2013

This volume documents the presentations that were given as part of the research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January – 6 July 2012.