Constructive Higher Sheaf Models with Applications to Synthetic Mathematics.

Thierry Coquand, Jonas Hfer, Christian Sattler

Browse the full LICS paper archive.