Type Theory People (First 10 people) - Page 0
Emily Riehl
American mathematician
Christine Paulin-Mohring
Mathematician
Paris Kanellakis
Greek-American computer scientist
Venanzio Capretta
Researcher
Karl Fredrick Crary
Author
Greg Morrisett
Computer science researcher
Steve Zdancewic
Computer researcher
Jean-Pierre Jouannaud
French computer scientist
thorsten altenkirch
Computer science researcher
