Modal Homotopy Type Theory - Corfield (Oxford University PressOxford University Press, 2020)