scientific article; zbMATH DE number 7731929

MaRDI QIDQ6135768FDO

Authors Dieter Spreen, Ulrich Berger

Publication date 26 August 2023

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

zbMATH Keywords

constructive mathematicslogicreal numbersprogram extractioncompact setscomputinginductive definitionco-inductive definitionGray code representationsigned-digit representationiterative function systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 2003158 (Why is no real title available?)
• scientific article; zbMATH DE number 2090725 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• A certified, corecursive implementation of exact real numbers
• A coinductive approach to computing with compact sets
• A domain-theoretic approach to computability on the real line
• Coinduction for exact real number computation
• Computing with continuous objects: a uniform co-inductive approach
• Continuous Lattices and Domains
• Extracting non-deterministic concurrent programs
• From coinductive proofs to exact real arithmetic: theory and applications
• Intuitionistic fixed point logic
• LCF considered as a programming language
• Logic for Gray-code computation
• Minlog -- a tool for program extraction supporting algebras and coalgebras
• Power domains and iterated function systems
• Programming Languages and Systems
• Real number computation through Gray code embedding.
• Semantics of a sequential language for exact real-number computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135768)