The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is ba

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Lo

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines

Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.