![127056](https://sdvigpress.org/images/creator/_default.jpg)
References
Thierry Coquand
Recursive functions and constructive mathematics![Open Access Link](images/OAlink.png)
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer