Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con
Add to Reading List
Document Date: 2009-02-12 13:08:48
Open Document
File Size: 456,49 KB
Share Result on Facebook
Company
CX /
/
IndustryTerm
closure operator /
/
Movie
We shall see /
/
Person
Myles Tierney /
Joyal Tierney /
Scott Domains /
Dana Scott /
/
Position
hb /
functional programmer /
mediator /
diagonal mediator /
/
ProgrammingLanguage
Lisp /
/
SocialTag
Metalogic
Symbol
Interpretation
Structure
Μ operator
Linear temporal logic
Model theory
Logic
Mathematics