scientific article; zbMATH DE number 7327952

MaRDI QIDQ5856423

Mina Mohammadian, Dirk Pattinson

Publication date: 26 March 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive mathematicsfunction spacesdomain theoryreal number computationpredomain base

Mathematics Subject Classification ID

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

Related Items (1)

Apartness, sharp elements, and the Scott topology of domains

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Realizability interpretation of proofs in constructive analysis
• A constructive theory of continuous domains suitable for implementation
• The calculus of constructions
• Constructivism in mathematics. An introduction. Volume II
• Total sets and objects in domain theory
• A domain-theoretic approach to computability on the real line
• Real number computability and domain theory
• Semantics of a sequential language for exact real-number computation
• From coinductive proofs to exact real arithmetic: theory and applications
• Proofs and Computations
• Continuity properties in constructive mathematics

This page was built for publication: