|
Showing 1 - 5 of
5 matches in All Departments
A mathematics book with six authors is perhaps a rare enough
occurrence to make a reader ask how such a collaboration came
about. We begin, therefore, with a few words on how we were brought
to the subject over a ten-year period, during part of which time we
did not all know each other. We do not intend to write here the
history of continuous lattices but rather to explain our own
personal involvement. History in a more proper sense is provided by
the bibliography and the notes following the sections of the book,
as well as by many remarks in the text. A coherent discussion of
the content and motivation of the whole study is reserved for the
introduction. In October of 1969 Dana Scott was lead by problems of
semantics for computer languages to consider more closely partially
ordered structures of function spaces. The idea of using partial
orderings to correspond to spaces of partially defined functions
and functionals had appeared several times earlier in recursive
function theory; however, there had not been very sustained
interest in structures of continuous functionals. These were the
ones Scott saw that he needed. His first insight was to see that -
in more modern terminology - the category of algebraic lattices and
the (so-called) Scott-continuous functions is cartesian closed.
|
Recent Developments in the Algebraic, Analytical, and Topological Theory of Semigroups - Proceedings of a Conference Held at Oberwolfach, Germany, May 24-30, 1981 (English, German, French, Paperback, 1983 ed.)
K. H. Hofmann, Helmut Jurgensen, H.J. Weinert
|
R1,856
Discovery Miles 18 560
|
Ships in 10 - 15 working days
|
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography make this an ideal sourcebook for all those working in domain theory.
|
|