Homotopy Type Theory
Category — people

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