Topology, Domain Theory and Theoretical Computer Science

✍ Scribed by Michael W. Mislove

Publisher: Elsevier
Year: 1997
Tongue: English
Leaves: 55
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract
In this paper, we survey the use of order-theoretic topology in theoretical computer
science, with an emphasis on applications of domain theory. Our focus is on the uses
of order-theoretic topology in programming language semantics, and on problems of
potential interest to topologists that stem from concerns that semantics generates.

✦ Subjects

Domain theory Scott topology power domains untyped lambda calculus

📜 SIMILAR VOLUMES

Topology and Category Theory in Computer

📁 Topology and Category Theory in Computer Science

✍ G. M. Reed, A. W. Roscoe, R. F. Wachter 📂 Library 📅 1991 🏛 Oxford University Press 🌐 English

This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interfa

Domain Theory in Computer Science

📁 Domain Theory in Computer Science

✍ Jovan Pehcevski 📂 Library 📅 2023 🏛 AclerPress 🌐 English

This book covers different topics from domain theory in computer science, including: partial orders and groups, power domains and metrics, recursive data types (binary trees) and algebraicity and Boolean algebras. Section 1 focuses on partial orders and groups, describing characterizations and prope

The Domain Theory in Computer Science

📁 The Domain Theory in Computer Science

✍ Jovan Pehcevski 📂 Library 📅 2023 🏛 Arcler Press 🌐 English

Topological Duality for Distributive Lat

📁 Topological Duality for Distributive Lattices: Theory and Applications (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

✍ Mai Gehrke, Sam van Gool 📂 Library 📅 2024 🏛 Cambridge University Press 🌐 English

<span>Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introducti

Topological Duality for Distributive Lat

📁 Topological Duality for Distributive Lattices: Theory and Applications (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

✍ Mai Gehrke, Sam van Gool 📂 Library 📅 2024 🏛 Cambridge University Press 🌐 English

SOFSEM 2021: Theory and Practice of Comp

📁 SOFSEM 2021: Theory and Practice of Computer Science (Theoretical Computer Science and General Issues)

✍ Tomáš Bureš (editor), Riccardo Dondi (editor), Johann Gamper (editor), Giovanna 📂 Library 📅 2021 🏛 Springer 🌐 English

<span>This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Ital