A synthetic theory of sequential domains

&
Annals of Pure and Applied Logic 163 (8):1062-1074 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.028

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The extensional ordering of the sequential functionals.Dag Normann & V. Yu Sazonov - 2012 - Annals of Pure and Applied Logic 163 (5):575-603.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.
Sequential evaluation strategies for parallel-or and related reduction systems.J. R. Kennaway - 1989 - Annals of Pure and Applied Logic 43 (1):31-56.
Recursive properties of Euclidean domains.Leonard Schrieber - 1985 - Annals of Pure and Applied Logic 29 (1):59-77.
Algorithms for sentences over integral domains.Shih Ping Tung - 1990 - Annals of Pure and Applied Logic 47 (2):189-197.
Essential and density topologies of continuous domains.Dănuţ Rusu & Gabriel Ciobanu - 2016 - Annals of Pure and Applied Logic 167 (9):726-736.
From axioms to synthetic inference rules via focusing.Sonia Marin, Dale Miller, Elaine Pimentel & Marco Volpe - 2022 - Annals of Pure and Applied Logic 173 (5):103091.
Continuous L-domains in logical form.Longchun Wang, Qingguo Li & Xiangnan Zhou - 2021 - Annals of Pure and Applied Logic 172 (9):102993.
Products of sequential CLP-compact spaces are CLP-compact.Juris Steprāns - 2006 - Annals of Pure and Applied Logic 143 (1-3):155-157.
Akira Kanda. Recursion theorems and effective domains. Annals of pure and applied logic, vol. 38 , pp. 289–300.Dag Normann - 1991 - Journal of Symbolic Logic 56 (1):335.

Analytics

Added to PP
2013-10-27

Downloads
23 (#940,365)

6 months
10 (#407,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Axioms and (counter)examples in synthetic domain theory.Jaap van Oosten & Alex K. Simpson - 2000 - Annals of Pure and Applied Logic 104 (1-3):233-278.
The sequentially realizable functionals.John Longley - 2002 - Annals of Pure and Applied Logic 117 (1-3):1-93.
Projecting sequential algorithms on strongly stable functions.Thomas Ehrhard - 1996 - Annals of Pure and Applied Logic 77 (3):201-244.

Add more references