Computing with continuous objects: a uniform co-inductive approach

DOI10.1017/S0960129521000116MaRDI QIDQ5156773

Dieter Spreen

Publication date: 11 October 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.05392

zbMATH Keywords

topologycompact setprogram extractioncomputingiterative function systeminductive/co-inductive definition

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items (2)

Extracting total Amb programs from proofs ⋮ Unnamed Item

Cites Work

• Proofs, programs, processes
• A certified, corecursive implementation of exact real numbers
• A domain-theoretic approach to computability on the real line
• Computability on subsets of metric spaces.
• Universal coalgebra: A theory of systems
• Real number computation through Gray code embedding.
• Power domains and iterated function systems
• Intuitionistic fixed point logic
• Semantics of a sequential language for exact real-number computation
• A coinductive approach to computing with compact sets
• From coinductive proofs to exact real arithmetic: theory and applications
• Proofs and Computations
• Proofs, Programs, Processes
• A Functional Algorithm for Exact Real Integration with Invariant Measures
• Set-valued analysis
• Distances on topological self-similar sets and the kneading determinants
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing with continuous objects: a uniform co-inductive approach