University of Sussex
Browse

File(s) not publicly available

Extensional S-spaces in type theory

journal contribution
posted on 2023-06-07, 19:11 authored by Bernhard ReusBernhard Reus
Synthetic Domain Theory provides a setting far denotational semantics following Dana Scott's slogan 'domains as sets' in which all functions are continuous. Several approaches can be found in the literature, but they are either model-dependent or if they use an axiomatic setting then not uniformly and not explicitly. We present a completely logical approach to Synthetic Domain Theory (SDT), axiomatizing (complete) Extensional PERs. On these grounds some basic domain theory is developed. Special attention is devoted to admissibility. The axiomatic approach is advantageous since it allows for easy formalization and comparison to other axiomatic settings.

History

Publication status

  • Published

Journal

Applied Categorical Structures

ISSN

0927-2852

Publisher

Springer

Issue

1-2

Volume

7

Page range

159-183

ISBN

0927-2852

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC