Computer Science Carnegie Mellon University / Imperial College / /
Organization
National Science Foundation / U.S. government / Thesis Committee / NAFSA Association of International Educators / CMU-CS-00-164 School of Computer Science Carnegie Mellon University Pittsburgh / Imperial College in London / /
Person
Jeff Helzner / Harvey Friedman / Stephen Wolfram / Dieter Spreen / Lenore Blum Abbas Edalat Frank Pfenning Submitted / Chris Stone / Modest Sets / Mathias Kegelmann / Jesse Hughes / Jeremy Avigad / Mike Mislove / Peter Hertling / Ulrich Berger / Abbas Edalat / Douglas Cenzer / Steven M. Awodey Lenore Blum Abbas / Giuseppe Rosolini / Stephen Brookes / Frank Pfenning / Matthias Schr¨oder / Aurelio Carboni / John Longley / Jens Blanck / David Lester / Thomas Streicher / Marko Petkovˇsek / John Langford / Chad Brown / Alexander Rohr / Klaus Keimel / Edmund Robinson / Andrej Bauer / F. William Lawvere / Yuri Ershov / Michal Konecny / Achim Jung / Lenore Blum / Vasco Brattka / Lars Birkedal / Peter Freyd / Robert Harper / Steve Awodey / Marcelo Fiore / Jaap van Oosten / Martin Hyland / Peter Lietz / Dana Scott / Elham Kashefi / Kevin Watkins / John Reynolds / Martin Rai / Edmund Clarke / Steven Rudich / Marko Krznari´c John / Matthew Szudzik / Mike Reed / Peter Andrews / Alex Simpson / Reinhold Heckmann / Klaus Weihrauch / /
The Realizability Approach to Computable Analysis and Topology Andrej Bauer