skip to content
Correctness and completeness of a categorical semantics of the calculus of constructions Preview this item
ClosePreview this item
Checking...

Correctness and completeness of a categorical semantics of the calculus of constructions

Author: Thomas Streicher
Publisher: 1988.
Series: Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8913; 1079, 8913.
Edition/Format:   Print book : 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

Document Type: Book
All Authors / Contributors: Thomas Streicher
OCLC Number: 220719076
Notes: Passau, Univ., Diss.
Description: Getr. Zählung.
Series Title: Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8913; 1079, 8913.
Responsibility: von 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/220719076> # Correctness and completeness of a categorical semantics of the calculus of constructions
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "220719076" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Thing/kalkul> ; # Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Thing/lambda_kalkul> ; # Lambda-Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Thing/kontext> ; # Kontext
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/kategorie_mathematik> ; # Kategorie (Mathematik)
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/kalkul> ; # Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Thing/konstruktive_mathematik> ; # Konstruktive Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/lambda_kalkul> ; # Lambda-Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/konstruktive_mathematik> ; # Konstruktive Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/kategorientheorie> ; # Kategorientheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/477971768#Topic/kontext> ; # Kontext
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/112146100> ; # Thomas Streicher
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/477971768> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/477971768#Series/universitat_passau_fakultat_fur_mathematik_und_informatik_mip_8913> ; # Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8913
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/477971768#Series/1079> ; # 1079 ;
   schema:name "Correctness and completeness of a categorical semantics of the calculus of constructions" ;
   schema:productID "220719076" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/220719076#PublicationEvent/1988> ;
   umbel:isLike <http://d-nb.info/891579664> ;
   umbel:isLike <http://d-nb.info/981513476> ;
   umbel:isLike <http://d-nb.info/891513477> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/220719076> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/477971768#Series/1079> # 1079 ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/220719076> ; # Correctness and completeness of a categorical semantics of the calculus of constructions
   schema:name "1079 ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/477971768#Series/universitat_passau_fakultat_fur_mathematik_und_informatik_mip_8913> # Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8913
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/220719076> ; # Correctness and completeness of a categorical semantics of the calculus of constructions
   schema:name "Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8913" ;
    .

<http://experiment.worldcat.org/entity/work/data/477971768#Thing/konstruktive_mathematik> # Konstruktive Mathematik
    a schema:Thing ;
   schema:name "Konstruktive Mathematik" ;
    .

<http://experiment.worldcat.org/entity/work/data/477971768#Topic/kategorie_mathematik> # Kategorie (Mathematik)
    a schema:Intangible ;
   schema:name "Kategorie (Mathematik)" ;
    .

<http://experiment.worldcat.org/entity/work/data/477971768#Topic/konstruktive_mathematik> # Konstruktive Mathematik
    a schema:Intangible ;
   schema:name "Konstruktive Mathematik" ;
    .

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

<http://www.worldcat.org/title/-/oclc/220719076>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/220719076> ; # Correctness and completeness of a categorical semantics of the calculus of constructions
   schema:dateModified "2017-12-24" ;
   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.