129162

References

Guilhem Jaber

A computational interpretation of forcing in type theory

2012

with Coquand Thierry

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link