Explorations

Future Paths of Phenomenology

1st OPHEN Summer Meeting

Conference | Speakers | Profile

129162

Guilhem Jaber

Bibliography ¹

A computational interpretation of forcing in type theory

2012

Thierry Coquand Guilhem Jaber

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2010-2019