Programming in Martin-L F's Type Theory: An Introduction

by , ,

Write The First Customer Review

In recent years, 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. This book contains a thorough introduction to type theory, with information on ...

Programming in Martin-L F's Type Theory: An Introduction 1990, Oxford University Press, USA, Oxford, England

ISBN-13: 9780198538141

Hardcover

Select