Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
A computational interpretation of forcing in type theory
2012
Thierry Coquand Guilhem Jaber
in: Epistemology versus ontology, Dordrecht : Springer
