Pages that link to "Item:Q793725"
From MaRDI portal
The following pages link to Differential equations in constructive analysis and in the recursive realizability topos (Q793725):
Displaying 6 items.
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- http://logicandanalysis.org/index.php/jla/article/viewFile/114/41 (Q3145965) (← links)
- (Q4002864) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- On real-valued homomorphisms in countably generated differential structures (Q4918632) (← links)