Repository | Directory | Profile
Guilhem Jaber
in English
XA computational interpretation of forcing in type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
in English
XA computational interpretation of forcing in type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer