Items where authors include "Dihoum, E."
Jump to: Book Section
Number of items: 1.
Book Section
Dihoum, E., Rathjen, M. orcid.org/0000-0003-1699-4778 and Silterra, A. (2023) Domain Theory and Realizability over Scott’s D∞ in Constructive Set Theory. In: Mathematics For Computation (M4c). World Scientific , pp. 335-395. ISBN 9789811245213