Pages that link to "Item:Q4237644"
From MaRDI portal
The following pages link to Constructive Mathematics in Theory and Programming Practice (Q4237644):
Displaying 25 items.
- Limit spaces with approximations (Q290635) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings (Q525505) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Constructive theory of sets with types; compatibility with Church's thesis (Q1080424) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Nonconstructive computational mathematics (Q1272604) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
- Inverse semigroups with apartness (Q2416389) (← links)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640) (← links)
- Completely Regular Bishop Spaces (Q3195709) (← links)
- (Q3319764) (← links)
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice (Q3611720) (← links)
- (Q4003444) (← links)
- Reading between the lines in constructive type theory (Q4340420) (← links)
- (Q5224157) (← links)
- Semigroups with apartness (Q5396223) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344) (← links)
- Constructive closed range and open mapping theorems (Q5951541) (← links)
