Philosophy Carnegie Mellon University / University Submitted / /
Organization
Thesis Committee / Carnegie Mellon University Pittsburgh PA / Indiana University / Contents Introduction Chapter / /
Person
Siu Kai Lam / Jeremy Avigad / Ling Cheung / Lars Birkedal / Steve Brookes / Steve Awodey / Jaap van Oosten / Jon Barwise / Dana Scott / Larry Moss / Peter Gumm / Dirk Schlimm / John Reynolds / Jeremy Gibbons / James Worrell / Bill Lawvere / Alexander Kurz / Neil Ghani / Quincy Prescott Hughes / Bart Jacobs / Peter Aczel / Tobias Schr¨oder James / Jeremy Avigad Lawrence Moss / Andrej Bauer / /