FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W595050556> ?p ?o ?g. }

• W595050556 abstract "Preface. Contributing authors. 1: Playful, streamlike computation P.-L. Curien. 1. Prologue: playing with Bohm trees. 2. Introduction. 3. Symmetric algorithms, sequential algorithms. 4. Related works. 5. Control. 6. A few more remarks. 2: Universal types and what they are good for J.R. Longley. 1. Universal objects. 2. lambda-algebras. 3. Denotational semantics. 4. Universal types. 5. Syntax and semantics of PCF. 6. Examples of universal types. 7. Conclusions and further directions. 3: Relational representations of hyper-continuous lattices Xiao-Quan Xu, Ying-Ming Liu. 1. Preliminaries. 2. Regular representations of completely distributive lattices. 3. Finitely regular representations of hyper-continuous lattices. 4: Convergence classes and spaces of partial functions A.K. Seda, R. Heinze, P. Hitzler. 1. Introduction. 2. Convergence spaces and convergence classes. 3. Convergence classes and VDM. 4. Compactness of (X --> Y). 5. Conclusions and further work. 5: On meet-continuous dcpos Hui Kou, Ying-Ming Liu, Mao-Kang Luo. 1. Introduction. 2. Basic properties of meet-continuous dcpos. 3. Dcpos with the Hausdorff Lawson topology. 4. Adjunctions between quasicontinuous domains and continuous domains. 5. Scott-open filters. 6. Concluding remarks. 6: External characterizations of continuous sL-domains LuoshanXu. 1. Introduction. 2. Preliminaries. 3. Continuous sL-domains and their characterizations by function spaces. 4. External characterizations by posets of ideals. 7: Projectives and injectives in the category of quantales Yong-Ming Li, Meng Zhou. 1. Introduction. 2. Regular projectives in the category of quantales. 3. Injective objects in the category of quantales. 8: On minimal event and concrete data structures F. Bracho, M. Droste, I. Meinecke. 1. Introduction. 2. Event structures, concrete data structures and their domains. 3. Congruences on prime intervals and associated structures. 4. Maximal and minimal structures. 5. Conclusion. 9: A note on strongly finite sequent structures D. Spreen, R. Greb. 1. Introduction. 2. Basic definitions and results. 3. Domain constructions. 4. Strongly finite sequent structures. 5. Sequent structures and preorders. 6. Constructions on preorders. 7. Conclusion." @default.
• W595050556 created "2016-06-24" @default.
• W595050556 creator A5046662102 @default.
• W595050556 date "2003-01-01" @default.
• W595050556 modified "2023-09-24" @default.
• W595050556 title "Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001" @default.
• W595050556 hasPublicationYear "2003" @default.
• W595050556 type Work @default.
• W595050556 sameAs 595050556 @default.
• W595050556 citedByCount "0" @default.
• W595050556 crossrefType "book" @default.
• W595050556 hasAuthorship W595050556A5046662102 @default.
• W595050556 hasConcept C11821877 @default.
• W595050556 hasConcept C118615104 @default.
• W595050556 hasConcept C136119220 @default.
• W595050556 hasConcept C182359184 @default.
• W595050556 hasConcept C191399826 @default.
• W595050556 hasConcept C202444582 @default.
• W595050556 hasConcept C29585364 @default.
• W595050556 hasConcept C33923547 @default.
• W595050556 hasConcept C81332173 @default.
• W595050556 hasConceptScore W595050556C11821877 @default.
• W595050556 hasConceptScore W595050556C118615104 @default.
• W595050556 hasConceptScore W595050556C136119220 @default.
• W595050556 hasConceptScore W595050556C182359184 @default.
• W595050556 hasConceptScore W595050556C191399826 @default.
• W595050556 hasConceptScore W595050556C202444582 @default.
• W595050556 hasConceptScore W595050556C29585364 @default.
• W595050556 hasConceptScore W595050556C33923547 @default.
• W595050556 hasConceptScore W595050556C81332173 @default.
• W595050556 hasLocation W5950505561 @default.
• W595050556 hasOpenAccess W595050556 @default.
• W595050556 hasPrimaryLocation W5950505561 @default.
• W595050556 hasRelatedWork W1519705629 @default.
• W595050556 hasRelatedWork W1530615807 @default.
• W595050556 hasRelatedWork W1538891457 @default.
• W595050556 hasRelatedWork W1596140841 @default.
• W595050556 hasRelatedWork W1954507428 @default.
• W595050556 hasRelatedWork W1983554661 @default.
• W595050556 hasRelatedWork W2086214891 @default.
• W595050556 hasRelatedWork W2118377474 @default.
• W595050556 hasRelatedWork W2121392054 @default.
• W595050556 hasRelatedWork W2738096940 @default.
• W595050556 hasRelatedWork W2763054309 @default.
• W595050556 hasRelatedWork W2972239815 @default.
• W595050556 hasRelatedWork W2982880889 @default.
• W595050556 hasRelatedWork W3004605428 @default.
• W595050556 hasRelatedWork W39199136 @default.
• W595050556 hasRelatedWork W584440261 @default.
• W595050556 hasRelatedWork W620177585 @default.
• W595050556 hasRelatedWork W63176152 @default.
• W595050556 hasRelatedWork W935808915 @default.
• W595050556 hasRelatedWork W2292330827 @default.
• W595050556 isParatext "false" @default.
• W595050556 isRetracted "false" @default.
• W595050556 magId "595050556" @default.
• W595050556 workType "book" @default.