Proofs and Types
Overview & Synopsis
Deals with the mathematical background of the application to computer science of aspects of logic on typed lambda calculus (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Proofs and Types |
|---|---|
| Author / Organization | Jean-Yves Girard, Yves Lafont, Paul Taylor |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Theory of Programming Languages, Theory of Computation, Introduction to Computer Science |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| ISBN | 0521371813 |
| Resource Verification | Verification pending |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-70522 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Proofs and Types • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.