Bridges, DouglasReeves, Steve2008-11-262008-11-261999Bridges, D. & Reeves, S. (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica, 7(3), 65-104.https://hdl.handle.net/10289/1471The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop’s constructive mathematics(BISH). It gives a sketch of both Myhill’s axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focuses on the relation between constructive mathematics and programming, with emphasis on Martin-Lof’s theory of types as a formal system for BISH.application/pdfenThis article has been published in the journal: Philosophia Mathematica. Copyright © 2008 Oxford University Press.computer scienceconstructive mathematicsJournal Article10.1093/philmat/7.1.65