Domain Theory Computer Science

Based on a categorical model of linear logic and associated comonads it highlights the role of linearity in concurrent computation.

Domain theory computer science. Cal theory led to denotational semantics becoming a dominant paradigm in the oretical computer science. It serves as a qualitative approximation to computability. Then i found denotational semantics which could use topology another surprise for me. Received in revised form 26 may 1997 abstract in this paper we survey the use of order theoretic topology in theoretical computer science with.

N h topology and its applications elsevier topology and its applications 89 1998 3 59 topology domain theory and theoretical computer science michael w. Domain theory corrected and expanded version samson abramsky1 and achim jung2 this text is based on the chapter domain theory in the handbook for logic in computer science volume 3 edited by s. I started by being fascinated of the beautiful applications of category theory topos theory and intuitionistic logic in computer science which i started reading for pure curiosity. Received in revised form 26 may 1997 abstract in this paper we survey the use of order theoretic topology in theoretical.

On this basis a beautiful mathematical theory has been developed with deep applications to many topics in computer science in particular to the semantics. Based on the magnetic domain theory when a ferromagnetic material is cooled below the t c the local magnetization of a ferromagnetic particle can spontaneously divide into many magnetic domains which are separated by domain walls in each domain the magnetization points in a uniform direction but the directions of magnetic moments in different domains vary from domain to domain in a random. Domain theory is a branch of mathematics that studies special kinds of partially ordered sets posets commonly called domains consequently domain theory can be considered as a branch of order theory the field has major applications in computer science where it is used to specify denotational semantics especially for functional programming languages. Domain theory is a mathematical theory of information and computation.

The magnetic character of domains comes from the presence of even smaller units called dipoles. Continuity is a central pillar of domain theory. Mislove 1 department of mathematics tulane university new orleans ga 70118 usa received 30 august 1996. In other words for most purposes to detect whether some construction is computationally feasible.

Topology domain theory and theoretical computer science michael w mislove depurtment of mathematics tulane university new orleans la 70118 usa received 30 august 1996. The domain theory of magnetism explains what happens inside materials when magnetized. Maibaum published by clarendon press oxford in 1994. A simple domain theory for concurrency is presented.