Ieke Moerdijk

Sets, Models and Proofs

Simplicial Methods for Operads and Algebraic Geometry