Extending Type Theory with Forcing.

Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau

Browse the full LICS paper archive.