Repository | Book | Chapter

COPR

Bookmark

Link

183258

(2014) Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer.

Recursive functions and constructive mathematics

Thierry Coquand

pp. 159-167

Cannot connect to DataBase