Thierry Coquand
2 Publications
Recursive functions and constructive mathematics
2014
in: Constructivity and computability in historical and philosophical perspective, Berlin,
A computational interpretation of forcing in type theory
2012
in: Epistemology versus ontology, Berlin,
2 Publications