Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
Geverifieerd e-mailadres voor inria.fr
Geciteerd door 11247
Valeria de Paiva
Topos Institute, University of Birmingham
Geverifieerd e-mailadres voor topos.institute
Geciteerd door 5035
Jeremy Avigad
Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University
Geverifieerd e-mailadres voor cmu.edu
Geciteerd door 4976
Thomas Ehrhard
CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Geverifieerd e-mailadres voor irif.fr
Geciteerd door 4173
Sergei Artemov
Distinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY …
Geverifieerd e-mailadres voor gc.cuny.edu
Geciteerd door 3999
Alwen Tiu
School of Computing, The Australian National University
Geverifieerd e-mailadres voor anu.edu.au
Geciteerd door 2748
George Metcalfe
Professor of Mathematics, University of Bern
Geverifieerd e-mailadres voor unibe.ch
Geciteerd door 2302