The heart of philosophy is metaphysics, and at the heart of the heart lie two questions about existence. What is it for any contingent thing to exist? Why does

In Unbelievable Errors, Bart Streumer defends an error theory about all normative judgements: not just moral judgements, but also judgements about reasons for a

This collection explores the relationships between theory and evidences in functional linguistics, bringing together perspectives from both established and emer

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting.

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trin