Volume 2 consists of more specialized and more technically demanding material; this volume will be suitable for advanced seminars and researchers with adequate background in logic, semantics, type theory and category theory.