A coinductive approach to computing with compact sets

DOI10.4115/JLA.2016.8.3zbMath1396.03085arXiv1510.08498OpenAlexW2275272255MaRDI QIDQ2974666

Ulrich Berger, Dieter Spreen

Publication date: 10 April 2017

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

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

zbMATH Keywords

program extractioncompact setsexact real number computationcomputing with continuous objects

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Computation over the reals, computable analysis (03D78)

Related Items (3)

Unnamed Item ⋮ Intuitionistic fixed point logic ⋮ Computing with continuous objects: a uniform co-inductive approach

This page was built for publication: A coinductive approach to computing with compact sets