skip to content
Data types as lattices Preview this item
ClosePreview this item
Checking...

Data types as lattices

Author: Dana S Scott
Publisher: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
Series: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Dana S Scott
OCLC Number: 5265360
Notes: Cover title.
Reprinted from the SIAM journal on computing, v. 5.
Description: pages 522-587 ; 25 cm.
Series Title: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Responsibility: by Dana Scott.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/5265360> # Data types as lattices
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "5265360" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16359827#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/993426> ; # Lattice theory
   schema:about <http://dewey.info/class/001.6424/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/936126> ; # Functions, Continuous
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/mathematik> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> ; # Kontinuierliches Gitter
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> ; # Dana S. Scott
   schema:datePublished "1976" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/16359827> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> ; # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
   schema:name "Data types as lattices"@en ;
   schema:productID "5265360" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/5265360#PublicationEvent/oxford_oxford_university_computing_laboratory_programming_research_group_1976> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> ; # Oxford University Computing Laboratory, Programming Research Group
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/5265360> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> # Oxford University Computing Laboratory, Programming Research Group
    a bgn:Agent ;
   schema:name "Oxford University Computing Laboratory, Programming Research Group" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
   schema:familyName "Scott" ;
   schema:givenName "Dana S." ;
   schema:name "Dana S. Scott" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/5265360> ; # Data types as lattices
   schema:name "Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;" ;
   schema:name "Technical monograph - Oxford University Computing Laboratory Programming Research Group ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> # Kontinuierliches Gitter
    a schema:Intangible ;
   schema:name "Kontinuierliches Gitter"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
   schema:name "Programmiersprache"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/936126> # Functions, Continuous
    a schema:Intangible ;
   schema:name "Functions, Continuous"@en ;
    .

<http://id.worldcat.org/fast/993426> # Lattice theory
    a schema:Intangible ;
   schema:name "Lattice theory"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.