Homotopy Type Theory
Category — people
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Overview
The Homotopy Type Theory wiki has 58 pages in this category.
Pages
Ali Caglayan
Anders Mörtberg
Andrea Vezzosi
Andrej Bauer
Andrew M. Pitts
Anthony Bordg
Bas Spitters
Benedikt Ahrens
Benno van den Berg
Carlo Angiuli
Cesare Gallozzi
Chris Kapulkin
Dan Grayson
Dan Licata
Daniel Christensen
David Roberts
Denis-Charles Cisinski
Dimitris Tsementzis
Ed Morehouse
Egbert Rijke
Emily Riehl
Eric Finster
Evan Cavallo
Floris van Doorn
Guillaume Brunerie
Ian Orton
James Ladyman
Jason Gross
Jeremy Avigad
Kristina Sojakova
Kuen-Bang Hou (Favonia)
Luis Scoccola
Martín Escardó
Matthieu Sozeau
Michael Shulman
Michael Warren
Morgan Opie
Nicola Gambino
Nicolai Kraus
Paige North
Paolo Capriotti
Per Martin-Löf
Peter Arndt
Peter LeFanu Lumsdaine
Pieter Hofstra
Richard Garner
Robert Harper
Simon Huber
Steve Awodey
Stuart Presnell
Taichi Uemura
Thierry Coquand
Thorsten Altenkirch
Toby Bartels
Ulrik Buchholtz
Urs Schreiber
Vladimir Voevodsky
Álvaro Pelayo