Pages that link to "Item:Q1892939"
From MaRDI portal
The following pages link to A constructive approach to nonstandard analysis (Q1892939):
Displaying 8 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)
