Classifying Spaces and Classifying Topoi

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Simplicial Methods for Operads and Algebraic Geometry

Models for Smooth Infinitesimal Analysis

Simplicial and Dendroidal Homotopy Theory

Sets, Models and Proofs