Table of contents

A mathematics book with six authors is perhaps a rare enough occurrence to make a reader ask how such a collaboration came about. We begin, therefore, with a fe

George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Grätzer conside

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It in