Free Higher Groups in Homotopy Type Theory

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 09, 2018
Source ID
10.1145/3209108.3209183

Entities

People

  • Nicolai Kraus
  • Thorsten Altenkirch

Organizations

  • Engineering and Physical Sciences Research Council
  • United States Air Force
  • University of Nottingham