Programming in Martin-Lof's Type Theory: An Introduction
Overview & Synopsis
Several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property.
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 | Programming in Martin-Lof's Type Theory: An Introduction |
|---|---|
| Author / Organization | Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author) |
| Subject & Discipline | Functional Programming, Computer Programming, Theory of Programming Languages, Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc., Category Theory, Compiler/Interpreter Design and Construction |
| Categories | Functional Programming |
| Publication Year | 1990 |
| ISBN | 0198538146 |
| Resource Verification | ✓ Verified Direct PDF Available |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 692.7 KB (709,290 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-65051 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Programming in Martin-Lof's Type Theory: An Introduction • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.