Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as oppos

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid

These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the

Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from th

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory