skip to content
A modern perspective on type theory : from its origins until today Preview this item
ClosePreview this item
Checking...

A modern perspective on type theory : from its origins until today

Author: Fairouz D Kamareddine; Twan Laan; R P Nederpelt
Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, ©2004.
Series: Applied logic series, v. 29.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this  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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Fairouz D Kamareddine; Twan Laan; R P Nederpelt
ISBN: 1402023340 9781402023347 1402023359 9781402023354
OCLC Number: 55511463
Description: xiv, 357 pages ; 25 cm.
Contents: The evolution of type theory until the 1940s --
Propositions as types, pure type systems, AUTOMATH --
Extensions of pure type systems.
Series Title: Applied logic series, v. 29.
Responsibility: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
More information:

Abstract:

Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"This book has evolved from a number of projects by the authors ... into aspects of the evolution of calculus and type theory in Logic, Mathematics and Computation. ... The crown of this Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(3)

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/55511463> # A modern perspective on type theory : from its origins until today
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "55511463" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/801356856#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/801356856#Topic/typentheorie> ; # Typentheorie
   schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/801356856#Topic/geschichte> ; # Geschichte
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/32134031> ; # Rob P. Nederpelt
   schema:contributor <http://experiment.worldcat.org/entity/work/data/801356856#Person/laan_twan> ; # Twan Laan
   schema:copyrightYear "2004" ;
   schema:creator <http://viaf.org/viaf/29858931> ; # Fairouz D. Kamareddine
   schema:datePublished "2004" ;
   schema:description "The evolution of type theory until the 1940s -- Propositions as types, pure type systems, AUTOMATH -- Extensions of pure type systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/801356856> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801356856#Series/applied_logic_series> ; # Applied logic series ;
   schema:name "A modern perspective on type theory : from its origins until today"@en ;
   schema:productID "55511463" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/55511463#PublicationEvent/dordrecht_boston_kluwer_academic_publishers_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/801356856#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:reviews <http://www.worldcat.org/title/-/oclc/55511463#Review/-29810440> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0822/2004051545-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9781402023347> ;
   schema:workExample <http://worldcat.org/isbn/9781402023354> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA448465> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/55511463> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/801356856#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/801356856#Series/applied_logic_series> # Applied logic series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/55511463> ; # A modern perspective on type theory : from its origins until today
   schema:name "Applied logic series ;" ;
    .

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

<http://viaf.org/viaf/29858931> # Fairouz D. Kamareddine
    a schema:Person ;
   schema:familyName "Kamareddine" ;
   schema:givenName "Fairouz D." ;
   schema:name "Fairouz D. Kamareddine" ;
    .

<http://viaf.org/viaf/32134031> # Rob P. Nederpelt
    a schema:Person ;
   schema:familyName "Nederpelt" ;
   schema:givenName "Rob P." ;
   schema:givenName "R. P." ;
   schema:name "Rob P. Nederpelt" ;
    .

<http://worldcat.org/isbn/9781402023347>
    a schema:ProductModel ;
   schema:isbn "1402023340" ;
   schema:isbn "9781402023347" ;
    .

<http://worldcat.org/isbn/9781402023354>
    a schema:ProductModel ;
   schema:isbn "1402023359" ;
   schema:isbn "9781402023354" ;
    .

<http://www.worldcat.org/title/-/oclc/55511463#Review/-29810440>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/55511463> ; # A modern perspective on type theory : from its origins until today
   schema:reviewBody ""This first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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