This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

The papers in this volume were presented at the fourth biennial Summer Conference on Category and...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

Classical logic has proved inadequate in various areas of computer science, artificial intelligen...

This book develops the theory of typed feature structures, a data structure that generalizes both...

This book is concerned with techniques for formal theorem-proving, with particular reference to C...

Belief revision is a topic of much interest in theoretical computer science and logic, and it for...

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists....

Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major t...

This book discusses recent research in the theoretical foundations of several subjects of importa...

Chaitin, the inventor of algorithmic information theory, presents in this book the strongest poss...