A Compendium of Continuous Lattices

A Compendium of Continuous Lattices
Author :
Publisher : Springer Science & Business Media
Total Pages : 390
Release :
ISBN-10 : 9783642676789
ISBN-13 : 3642676782
Rating : 4/5 (782 Downloads)

Book Synopsis A Compendium of Continuous Lattices by : G. Gierz

Download or read book A Compendium of Continuous Lattices written by G. Gierz and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Compendium of Continuous Lattices Related Books

A Compendium of Continuous Lattices
Language: en
Pages: 390
Authors: G. Gierz
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 fe
Continuous Lattices and Domains
Language: en
Pages: 640
Authors: G. Gierz
Categories: Mathematics
Type: BOOK - Published: 2003-03-06 - Publisher: Cambridge University Press

GET EBOOK

Table of contents
Continuous Lattices and Their Applications
Language: en
Pages: 392
Authors: Rudolf E. Hoffmann
Categories: Computers
Type: BOOK - Published: 2020-12-17 - Publisher: CRC Press

GET EBOOK

This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented a
Continuous Lattices
Language: en
Pages: 428
Authors: B. Banaschewski
Categories: Mathematics
Type: BOOK - Published: 2006-11-14 - Publisher: Springer

GET EBOOK

Topological Duality for Distributive Lattices
Language: en
Pages: 370
Authors: Mai Gehrke
Categories: Computers
Type: BOOK - Published: 2024-02-29 - Publisher: Cambridge University Press

GET EBOOK

Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers