skip to content
Semantics of type theory : correctness, completeness, and independence results Preview this item
ClosePreview this item
Checking...

Semantics of type theory : correctness, completeness, and independence results

Author: Thomas Streicher
Publisher: Boston : Birkhäuser, 1991.
Series: Progress in theoretical computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive  Read more...

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: Thomas Streicher
ISBN: 3764335947 9783764335946 0817635947 9780817635947
OCLC Number: 24175029
Description: xii, 298 pages : illustrations ; 25 cm.
Series Title: Progress in theoretical computer science.
Responsibility: Thomas Streicher.

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/24175029> # Semantics of type theory : correctness, completeness, and independence results
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "24175029" ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_fonctionnelle> ; # Langages de programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle_informatique> ; # Programmation fonctionnelle (informatique)
   schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/calcul_construction> ; # calcul construction
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle> ; # programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/typentheorie> ; # Typentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_abstraits_de_donnees_informatique> ; # Types abstraits de données (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantique_langage_programmation> ; # sémantique langage programmation
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/konstruktive_logik> ; # Konstruktive Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/theorie_type> ; # théorie type
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantik> ; # Semantik
   schema:about <http://dewey.info/class/005.13/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/funktionale_programmiersprache> ; # Funktionale Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_theorie_des> ; # Types, Théorie des
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/112146100> ; # Thomas Streicher
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/292031082> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/292031082#Series/progress_in_theoretical_computer_science> ; # Progress in theoretical computer science.
   schema:name "Semantics of type theory : correctness, completeness, and independence results"@en ;
   schema:productID "24175029" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/24175029#PublicationEvent/boston_birkhauser_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/292031082#Agent/birkhauser> ; # Birkhäuser
   schema:workExample <http://worldcat.org/isbn/9783764335946> ;
   schema:workExample <http://worldcat.org/isbn/9780817635947> ;
   umbel:isLike <http://d-nb.info/920482783> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/24175029> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/292031082#Series/progress_in_theoretical_computer_science> # Progress in theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/24175029> ; # Semantics of type theory : correctness, completeness, and independence results
   schema:name "Progress in theoretical computer science." ;
   schema:name "Progress in theoretical computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/calcul_construction> # calcul construction
    a schema:Intangible ;
   schema:name "calcul construction"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_fonctionnelle> # Langages de programmation fonctionnelle
    a schema:Intangible ;
   schema:name "Langages de programmation fonctionnelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@en ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle> # programmation fonctionnelle
    a schema:Intangible ;
   schema:name "programmation fonctionnelle"@en ;
   schema:name "Programmation fonctionnelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle_informatique> # Programmation fonctionnelle (informatique)
    a schema:Intangible ;
   schema:name "Programmation fonctionnelle (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantique_langage_programmation> # sémantique langage programmation
    a schema:Intangible ;
   schema:name "sémantique langage programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_abstraits_de_donnees_informatique> # Types abstraits de données (informatique)
    a schema:Intangible ;
   schema:name "Types abstraits de données (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_theorie_des> # Types, Théorie des
    a schema:Intangible ;
   schema:name "Types, Théorie des"@fr ;
    .

<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/1159972> # Type theory
    a schema:Intangible ;
   schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/936086> # Functional programming (Computer science)
    a schema:Intangible ;
   schema:name "Functional programming (Computer science)"@en ;
    .

<http://viaf.org/viaf/112146100> # Thomas Streicher
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:familyName "Streicher" ;
   schema:givenName "Thomas" ;
   schema:name "Thomas Streicher" ;
    .

<http://worldcat.org/isbn/9780817635947>
    a schema:ProductModel ;
   schema:isbn "0817635947" ;
   schema:isbn "9780817635947" ;
    .

<http://worldcat.org/isbn/9783764335946>
    a schema:ProductModel ;
   schema:isbn "3764335947" ;
   schema:isbn "9783764335946" ;
    .

<http://www.worldcat.org/title/-/oclc/24175029>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/24175029> ; # Semantics of type theory : correctness, completeness, and independence results
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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