Newsletter of Phenomenology

Keeping phenomenologists informed since May 2002

129162

References

Guilhem Jaber

A computational interpretation of forcing in type theory

2012

with Coquand Thierry

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link