A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

This book is a textbook in basic category theory, written specifically to be read by
researchers and students in computing science. We expound the constructions we feel are …

The Curry-Howard isomorphism states an amazing correspondence between systems of
formal logic as encountered in proof theory and computational calculi as found in type …

Badiou's philosophy of the event is itself undoubtedly one of the great events in recent
French thought. Badiou is perhaps the only serious rival of Deleuze and Derrida for that …

The first of its kind, this book presents a widely accessible exposition of topos theory, aimed
at the philosopher-logician as well as the mathematician. It is suitable for individual study or …

Basic Category Theory for Computer Scientists provides a straightforward presentation of
the basic constructions and terminology of category theory, including limits, functors, natural …

Semantics of Programming Languages exposes the basic motivations and philosophy
underlying the applications of semantic techniques in computer science. It introduces the …

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since
developed into linguistic tools, especially useful in programming languages. The authors' …

New ways to manage change and to compete in a rapidly changing business world are
emerging under the concept of the agile enterprise. Agile organizations can be almost any …

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis
for the design, definition and implementation of programming languages and of systems for …