Recursive Functions and Constructive Mathematics
Paper in proceedings, 2014

V56

P385

NTS G

1991

History & Philosophy Of Science

JOURNAL OF SYMBOLIC LOGIC

Author

Thierry Coquand

University of Gothenburg

CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE

Subject Categories

Computer and Information Science

DOI

10.1007/978-94-017-9217-2_6

ISBN

978-94-017-9217-2

More information

Created

10/10/2017