skip to content
Edinburgh LCF : a mechanised logic of computation Preview this item
ClosePreview this item
Checking...

Edinburgh LCF : a mechanised logic of computation

Author: Michael J C Gordon; R Milner; Christopher P Wadsworth
Publisher: Berlin ; New York : Springer-Verlag, 1979.
Series: Lecture notes in computer science, 78.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Gordon, Michael J.C., 1948-
Edinburgh LCF.
Berlin ; New York : Springer-Verlag, 1979
(DLC) 79024745
(OCoLC)5726414
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michael J C Gordon; R Milner; Christopher P Wadsworth
ISBN: 9783540385264 3540385266
OCLC Number: 557984065
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 159 pages).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: ML.- PPLAMBDA.
Series Title: Lecture notes in computer science, 78.
Responsibility: Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.

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/557984065> # Edinburgh LCF : a mechanised logic of computation
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "557984065" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862939297#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/871987> ; # Computable functions--Data processing
   schema:about <http://id.loc.gov/authorities/subjects/sh85029470> ; # Computable functions--Data processing
   schema:about <http://id.worldcat.org/fast/902449> ; # Edinburgh LCF (Computer system)
   schema:about <http://experiment.worldcat.org/entity/work/data/862939297#Topic/edinburgh_lcf_systeme_informatique> ; # Edinburgh LCF (Système informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/862939297#Topic/fonctions_calculables_informatique> ; # Fonctions calculables--Informatique
   schema:about <http://dewey.info/class/510.8/> ;
   schema:author <http://viaf.org/viaf/10415187> ; # Robin Milner
   schema:author <http://experiment.worldcat.org/entity/work/data/862939297#Person/wadsworth_christopher_p> ; # Christopher P. Wadsworth
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/93782851> ; # Michael J. C. Gordon
   schema:datePublished "1979" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/862939297> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862939297#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/5726414> ;
   schema:name "Edinburgh LCF : a mechanised logic of computation"@en ;
   schema:productID "557984065" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/557984065#PublicationEvent/berlin_new_york_springer_verlag_1979> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/862939297#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://dx.doi.org/10.1007/3-540-09724-4> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/5726414.html> ;
   schema:url <http://link.springer.com/10.1007/3-540-09724-4> ;
   schema:workExample <http://worldcat.org/isbn/9783540385264> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/557984065> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939297#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939297#Person/wadsworth_christopher_p> # Christopher P. Wadsworth
    a schema:Person ;
   schema:familyName "Wadsworth" ;
   schema:givenName "Christopher P." ;
   schema:name "Christopher P. Wadsworth" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939297#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/557984065> ; # Edinburgh LCF : a mechanised logic of computation
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939297#Topic/edinburgh_lcf_systeme_informatique> # Edinburgh LCF (Système informatique)
    a schema:Intangible ;
   schema:name "Edinburgh LCF (Système informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/862939297#Topic/fonctions_calculables_informatique> # Fonctions calculables--Informatique
    a schema:Intangible ;
   schema:name "Fonctions calculables--Informatique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85029470> # Computable functions--Data processing
    a schema:Intangible ;
   schema:name "Computable functions--Data processing"@en ;
    .

<http://id.worldcat.org/fast/871987> # Computable functions--Data processing
    a schema:Intangible ;
   schema:name "Computable functions--Data processing"@en ;
    .

<http://id.worldcat.org/fast/902449> # Edinburgh LCF (Computer system)
    a schema:Intangible ;
   schema:name "Edinburgh LCF (Computer system)"@en ;
    .

<http://viaf.org/viaf/10415187> # Robin Milner
    a schema:Person ;
   schema:birthDate "1934" ;
   schema:deathDate "2010," ;
   schema:familyName "Milner" ;
   schema:givenName "Robin" ;
   schema:givenName "R." ;
   schema:name "Robin Milner" ;
    .

<http://viaf.org/viaf/93782851> # Michael J. C. Gordon
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Gordon" ;
   schema:givenName "Michael J. C." ;
   schema:name "Michael J. C. Gordon" ;
    .

<http://worldcat.org/isbn/9783540385264>
    a schema:ProductModel ;
   schema:isbn "3540385266" ;
   schema:isbn "9783540385264" ;
    .

<http://www.worldcat.org/oclc/5726414>
    a schema:CreativeWork ;
   rdfs:label "Edinburgh LCF." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/557984065> ; # Edinburgh LCF : a mechanised logic of computation
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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