Pages that link to "Item:Q1892939"
From MaRDI portal
The following pages link to A constructive approach to nonstandard analysis (Q1892939):
Displayed 11 items.
- Strongly internal sets and generalized smooth functions (Q458302) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- A new approach to the \(Z\)-transform through infinite computation (Q2207702) (← links)
- Non-standard analysis in dynamic geometry (Q2334581) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- Minimal models of Heyting arithmetic (Q4382484) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)