Repository | Directory | Profile
Guilhem Jaber
A computational interpretation of forcing in type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Repository | Directory | Profile
A computational interpretation of forcing in type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer