scientific article; zbMATH DE number 7731929
From MaRDI portal
Publication:6135768
arXiv2105.14261MaRDI QIDQ6135768FDOQ6135768
Authors: Dieter Spreen, Ulrich Berger 
Publication date: 26 August 2023
Full work available at URL: https://arxiv.org/abs/2105.14261
Title of this publication is not available (Why is that?)
constructive mathematicslogicreal numbersprogram extractioncompact setscomputinginductive definitionco-inductive definitionGray code representationsigned-digit representationiterative function systems
Cites Work
- Coinduction for exact real number computation
- LCF considered as a programming language
- Real number computation through Gray code embedding.
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Power domains and iterated function systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A domain-theoretic approach to computability on the real line
- Semantics of a sequential language for exact real-number computation
- From coinductive proofs to exact real arithmetic: theory and applications
- A certified, corecursive implementation of exact real numbers
- Intuitionistic fixed point logic
- A coinductive approach to computing with compact sets
- Extracting non-deterministic concurrent programs
- Logic for Gray-code computation
- Minlog -- a tool for program extraction supporting algebras and coalgebras
- Programming Languages and Systems
- Computing with continuous objects: a uniform co-inductive approach
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)
