|
|
(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 / name | links / mardi / name |
| | |