A computational interpretation of forcing in type theory

2012

Thierry Coquand, Guilhem Jaber

in: Epistemology versus ontology, Berlin,