Two Level Type Theory Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Stephanie Balzer
Carnegie Mellon University United States of America
type theory
View Professor Profile
Professor
Professor Profile
Alex Kavvos
University of Bristol United Kingdom
type theory
View Professor Profile
Professor
Professor Profile
Nobuko Yoshida
University of Oxford United Kingdom
type theory
View Professor Profile
Professor
Professor Profile
Alexander Gheorghiu
University of Southampton United Kingdom
type theory
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
type theory
View Professor Profile
Professor
Professor Profile
Thierry Coquand
University of Gothenburg Sweden
type theory
View Professor Profile
Professor
Professor Profile
Robin Adams
Chalmers University of Technology Sweden
type theory
View Professor Profile
Professor
Professor Profile
Thierry Coquand
Chalmers University of Technology Sweden
type theory
View Professor Profile
Professor
Professor Profile
Peter Dybjer
Chalmers University of Technology Sweden
type theory
View Professor Profile
Professor
Professor Profile
Ivan Di Liberti
University of Gothenburg Sweden
type theory
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
type theory
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
type theory
View Professor Profile
Professor
Professor Profile
Stuart Kurtz
University of Chicago United States of America
type theory
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
type theory
View Professor Profile
Professor
Professor Profile
Robert Harper
Carnegie Mellon University United States of America
type theory
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
type theory
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
type theory
View Professor Profile
Professor
Professor Profile
Stephanie Balzer
Carnegie Mellon University United States of America
type theory
View Professor Profile
Professor
Professor Profile
Ranald Clouston
Australian National University Australia
type theory
View Professor Profile
Professor
Professor Profile
Michael Borkowski
Purdue University United States of America
type theory
View Professor Profile
Professor
Professor Profile
Suresh Jagannathan
Purdue University United States of America
type theory
View Professor Profile
First
Prev
Page 1 | 83 Results
Next