Computable analysis with applications to dynamic systems

Pieter Collins. Computable analysis with applications to dynamic systems. Mathematical Structures in Computer Science, 30(2):173-233, 2020. [doi]

Abstract

Abstract is missing.