The book offers contributions to a number of topics in semantics, while at the same time providing an engaging discussion of key foundational issues and of what Property Theory can contribute to them. The book starts from a version of Property Theory which stems out of a combination of the lambda calculus with Aczel's Frege structures (a combination originally developed by Raymond Turner). Fox improves on it and substantially extends it with original...