Operational domain theory and topology of sequential programming languages (Q1013087): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
‎Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ic.2008.12.003 / rank
Normal rank
 
Property / author
 
Property / author: Martín Hötzel Escardó / rank
Normal rank
 
Property / author
 
Property / author: Martín Hötzel Escardó / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.ic.2008.12.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2141746484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Domain theory in logical form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843177 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222034 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local realizability toposes and a modal logic for computability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3679172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational content of the axiom of choice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3360172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability and totality in domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2844075 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimilarity as a theory of functional programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4288818 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Role of Compactness in Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2851325 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On full abstraction for PCF: I, II and III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finitary PCF is not decidable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4511324 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From operational semantics to domain theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fully abstract models of typed \(\lambda\)-calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology, domain theory and theoretical computer science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability over the partial continuous functionals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On sequential functionals of type 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on logical relations between semantics and syntax / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225152 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4813228 / rank
 
Normal rank
Property / cites work
 
Property / cites work: LCF considered as a programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction, totality and PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data Types as Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: A type-theoretical alternative to ISWIM, CUCH, OWHY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3316563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interdefinability of parallel operations in PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Domain-Theoretic Foundations of Functional Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994458 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4485693 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tychonoff's Theorem / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.IC.2008.12.003 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:47, 10 December 2024

scientific article
Language Label Description Also known as
English
Operational domain theory and topology of sequential programming languages
scientific article

    Statements

    Operational domain theory and topology of sequential programming languages (English)
    0 references
    16 April 2009
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers