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

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

Abstract

Metadata

Item Type: Book Section
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2023 World Scientific Publishing. This is an author produced version of a book chapter accepted for publication in Mathematics For Computation (M4c). Uploaded in accordance with the publisher's self-archiving policy.

Dates:
  • Published: 21 March 2023
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 20 May 2024 14:46
Last Modified: 20 May 2024 14:49
Status: Published
Publisher: World Scientific
Open Archives Initiative ID (OAI ID):

Download

Filename: D-unendlich-MC4_Ende.pdf

Request a copy

file not available

Export

Statistics