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.
Ingo Lepper and Georg Moser: Why Ordinals are Good for You;
Heribert Vollmer: First-Order Logic with Groupoidal Quantifiers.
Aarne Ranta: Grammatical Framework Tutorial;
Frank Richter and Manfred Sailer: Basic Concepts of Lexical Resource Semantics.