Scan barcode
388 pages • first pub 1991 (editions)
ISBN/UID: 9780201416671
Format: Hardcover
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, la...
Community Reviews
Content Warnings
388 pages • first pub 1991 (editions)
ISBN/UID: 9780201416671
Format: Hardcover
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, la...
Community Reviews
Content Warnings