Home > People > Profile
2 Publications
Thierry Coquand
in: Constructivity and computability in historical and philosophical perspective, Berlin,
Thierry Coquand, Guilhem Jaber
in: Epistemology versus ontology, Berlin,