Domain Theory and Realisability over Scott’s D∞ in Constructive Set Theory

DOI10.1142/9789811245220_0014OpenAlexW4362237096MaRDI QIDQ6167164

Unnamed Author, Eman Dihoum, Michael Rathjen

Publication date: 4 August 2023

Published in: Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811245220_0014

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

Maximal elements with minimal logic