Newsletter of Phenomenology

Keeping phenomenologists informed since May 2002

127056

References

Thierry Coquand

Recursive functions and constructive mathematics

2014

in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer

Open Access Link
A computational interpretation of forcing in type theory

2012

with Jaber Guilhem

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link