Metodo
International Studies in Phenomenology and Philosophy
Journal | Authors
A computational interpretation of forcing in type theory
2012
Thierry Coquand Guilhem Jaber
in: Epistemology versus ontology, Dordrecht : Springer
