scientific article; zbMATH DE number 7731929
From MaRDI portal
Publication:6135768
arXiv2105.14261MaRDI QIDQ6135768
Publication date: 26 August 2023
Full work available at URL: https://arxiv.org/abs/2105.14261
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive mathematicsprogram extractionlogiccompact setsreal numberscomputinginductive definitionco-inductive definitionGray code representationsigned-digit representationiterative function systems
Cites Work
- A certified, corecursive implementation of exact real numbers
- Coinduction for exact real number computation
- LCF considered as a programming language
- A domain-theoretic approach to computability on the real line
- 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
- Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
- Continuous Lattices and Domains
- Computing with continuous objects: a uniform co-inductive approach
- Logic for Gray-code Computation
- Extracting Non-Deterministic Concurrent Programs.
- Programming Languages and Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
