Computable decision making on the reals and other spaces

DOI10.1145/3209108.3209193zbMath1497.68124arXiv1805.00468OpenAlexW2964225009MaRDI QIDQ5145365

Benjamin Sherman, Adam Chlipala, Michael Carbin, Luke Sciarappa

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

constructive analysislocale theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Frames and locales, pointfree topology, Stone duality (18F70)

Uses Software

• ROSCoq

This page was built for publication: Computable decision making on the reals and other spaces