Centre de Recerca Matem`atica / Fields Institute / Carnegie Mellon University / Logic / Computation and Methodology Department / Introduction Chapter / /
Person
Tom Leinster / Jeremy Avigad / Joachim Kock / Peter Lumsdaine / Nicola Gambino / Alex Simpson Thomas Streicher Submitted / Erik Palmgren / Nicola Gambino Alex Simpson Thomas / Steve Awodey / Jaap van Oosten / Martin Hyland / Dana Scott / Myles Tierney / John Mumma / Yimu Yin / Ivar Rummelhoff / Mark Weber / Steven M. Awodey / Nikolaj Pedersen / Benno van den Berg / Ieke Moerdijk / Thomas Streicher / Todd Wilson / Bas Spitters / Alex Simpson / Henrik Forssell / Kohei Kishida / Andrej Bauer / /