Constructive Mathematics in Theory and Programming Practice
From MaRDI portal
Publication:4237644
DOI10.1093/PHILMAT/7.1.65zbMATH Open0971.03062OpenAlexW2015422016MaRDI QIDQ4237644FDOQ4237644
Authors: Douglas Bridges, Steve Reeves 
Publication date: 30 October 2001
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/7.1.65
Recommendations
- scientific article; zbMATH DE number 3859117
- Constructive mathematics and computer programming
- Constructive Mathematics
- Constructive Mathematics and Functional Programming (Abstract)
- scientific article; zbMATH DE number 3936476
- scientific article; zbMATH DE number 3894466
- scientific article
- Constructive mathematics: a foundation for computable analysis
- scientific article; zbMATH DE number 218497
- The mathematical construction of a program
Logic in computer science (03B70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Cited In (42)
- Title not available (Why is that?)
- A minimalist two-level foundation for constructive mathematics
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Title not available (Why is that?)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- On the constructive and computational content of abstract mathematics
- Title not available (Why is that?)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonconstructive computational mathematics
- Church's thesis and Bishop's constructivism
- Doing Without Turing Machines: Constructivism and Formal Topology
- Constructive mathematics: a foundation for computable analysis
- Limit spaces with approximations
- Title not available (Why is that?)
- Basic notions of (constructive) semigroups with apartness
- Semigroups with apartness
- Title not available (Why is that?)
- Metamathematical properties of a constructive multi-typed theory
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- Real and ideal in constructive mathematics
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Foundational aspects of multiscale digitization
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Title not available (Why is that?)
- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
- Constructive Mathematics and Functional Programming (Abstract)
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Constructive Mathematics
- Completely regular Bishop spaces
- Inverse semigroups with apartness
- Constructive uniformities of pseudometrics and Bishop topologies
- Title not available (Why is that?)
- Constructive closed range and open mapping theorems
- Constructive theory of sets with types; compatibility with Church's thesis
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Handbook of Constructive Mathematics
- Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings
This page was built for publication: Constructive Mathematics in Theory and Programming Practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237644)
