References
Thierry Coquand
Recursive functions and constructive mathematics
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
Keeping phenomenologists informed since May 2002
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer