Homotopy Type Theory with (half) 2-adjoint equivalences - 42Papers