Homotopy Type Theory Authors

• Alexis Hazell?
• Ali Caglayan
• Anonymous?
• Anonymouse
• Bas Spitters
• Bas Spitters
• David Roberts
• Floris van Doorn
• Jonas Frey?
• Mike Shulman
• Richard Williamson?
• Steve Awodey
• steveawodey
• Ulrik Buchholtz
• Urs Schreiber