oaklandlibrary.org
Encore CatalogLibrary HomeLibrary CardsHelp
Add to My Lists
     
Result page:

Author
Barendregt, Henk, author.
Title
Lambda Calculus with Types [electronic resource] / Barendregt, Henk.
Publication Info
Cambridge University Press, 2013.
Rating
 
Connect to this resource online
Copies
Phys. Description1 online resource (860 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file
72.00
SummaryThis handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
ReproductionElectronic reproduction. Boston, MA : Safari, Available via World Wide Web. 2013.
System DetMode of access: World Wide Web.
NoteCopyright © 2013 Cambridge University Press 2013
Issued ByMade available through: Safari, an O'Reilly Media Company.
NoteOnline resource; Title from title page (viewed June 30, 2013)
GenreElectronic books. local
Alt AuthorDekkers, Wil, author.
Statman, Richard, author.
Safari, an O'Reilly Media Company.
ISBN9781107272248
9780521766142
Isbn/Issn9781107272248
Permanent link to this record

 
Search:

Website Index | Federal Document Depository | Privacy Policy| Contact Us | City of Oakland Home Page
Copyright © 2007 Oakland Public Library