Recursive Functions and Constructive Mathematics
Book chapter, 2014
NTS G
History & Philosophy Of Science
P385
JOURNAL OF SYMBOLIC LOGIC
V56
1991
Author
Thierry Coquand
University of Gothenburg
Logic, Epistemology, and the Unity of Science
22149775 (ISSN) 22149783 (eISSN)
Vol. 34Subject Categories
Computer and Information Science
DOI
10.1007/978-94-017-9217-2_6