Repository | People

Thierry Coquand

Recursive functions and constructive mathematics

2014

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

A computational interpretation of forcing in type theory

2012

in: Epistemology versus ontology, Dordrecht : Springer

Order by

Filter

Language

Period

Style