4 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Axel Ljungström, Anders Mörtberg
This paper discusses the development of synthetic cohomology in Homotopy Type Theory (HoTT), as well as its computer formalisation. The objectives of this paper are (1) to generali…