Constructive Mathematics in Theory and Programming Practice
From MaRDI portal
Publication:4237644
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; zbMATH DE number 3850461
- Constructive mathematics: a foundation for computable analysis
- scientific article; zbMATH DE number 218497
- The mathematical construction of a program
Cited in
(43)- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Constructive closed range and open mapping theorems
- Constructive theory of sets with types; compatibility with Church's thesis
- scientific article; zbMATH DE number 3924774 (Why is no real title available?)
- Limit spaces with approximations
- scientific article; zbMATH DE number 3850461 (Why is no real title available?)
- Insight in discrete geometry and computational content of a discrete model of the continuum
- scientific article; zbMATH DE number 4183380 (Why is no real title available?)
- scientific article; zbMATH DE number 1867340 (Why is no real title available?)
- Metamathematical properties of a constructive multi-typed theory
- Completely regular Bishop spaces
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Semigroups with apartness
- scientific article; zbMATH DE number 2233169 (Why is no real title available?)
- Church's thesis and Bishop's constructivism
- scientific article; zbMATH DE number 4177052 (Why is no real title available?)
- scientific article; zbMATH DE number 53194 (Why is no real title available?)
- Doing Without Turing Machines: Constructivism and Formal Topology
- scientific article; zbMATH DE number 3936476 (Why is no real title available?)
- Constructive Mathematics and Functional Programming (Abstract)
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Inverse semigroups with apartness
- Proof-relevance in Bishop-style constructive mathematics
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
- scientific article; zbMATH DE number 3859117 (Why is no real title available?)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- On the constructive and computational content of abstract mathematics
- Basic notions of (constructive) semigroups with apartness
- scientific article; zbMATH DE number 2247253 (Why is no real title available?)
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- Real and ideal in constructive mathematics
- scientific article; zbMATH DE number 4091490 (Why is no real title available?)
- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Constructive mathematics: a foundation for computable analysis
- Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings
- Handbook of Constructive Mathematics
- Foundational aspects of multiscale digitization
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Constructive uniformities of pseudometrics and Bishop topologies
- Constructive Mathematics
- Nonconstructive computational mathematics
- A minimalist two-level foundation for constructive mathematics
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)
