Logic Types Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jean-philippe Bernardy
University of Gothenburg Sweden
logic
types
View Professor Profile
Professor
Professor Profile
Jana Dunfield
Queen's University Canada
logic
type systems
View Professor Profile
Professor
Professor Profile
Fredrik Engström
University of Gothenburg Sweden
logic
mathematical logic
View Professor Profile
Professor
Professor Profile
Alex Kavvos
University of Bristol United Kingdom
logic
type theory
View Professor Profile
Professor
Professor Profile
Thierry Coquand
University of Gothenburg Sweden
logic
type theory
View Professor Profile
Professor
Professor Profile
Robin Adams
Chalmers University of Technology Sweden
logic
type theory
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
logic
type theory
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
logic
logical frameworks
type theory
View Professor Profile
Professor
Professor Profile
Harold Hodes
Cornell University Netherlands
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
W. Woodin
Harvard University United States of America
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
Sun-joo Shin
Yale University United States of America
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
Harold Hodes
Cornell University Netherlands
logic
philosophy of logic
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
logical systems
mathematical logic
View Professor Profile
Professor
Professor Profile
Corina Cirstea
University of Southampton United Kingdom
logic models of computation
modal logics
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
dynamic logics
modal logics
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
type systems
linear logic
View Professor Profile
Professor
Professor Profile
Alexander Gheorghiu
University of Southampton United Kingdom
mathematical logic
type theory
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
dependently typed logics
mathematical logic
type theory
semantics of logic names
View Professor Profile
Professor
Professor Profile
Jonni Virtema
University of Glasgow United Kingdom
modal logics
logic in computer science
View Professor Profile
Professor
Professor Profile
Ranald Clouston
Australian National University Australia
formal logic
type theory
View Professor Profile
Professor
Professor Profile
Greg Restall
University of Melbourne Australia
formal logic
philosophy of logic
View Professor Profile
First
Prev
Page 1 | 444 Results
Next