Programming in Martin-Löf’s Type Theory: An Introduction
- 1990
- 211 pages
Opens the author, publisher or archive page. FreeTechBooks does not host the file.
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
About this book
Bengt Nordström wrote:This book was published by Oxford University Press in 1990. It is now out of print. This version is available from www.cs.chalmers.se/Cs/Research/Logic .
Bibliographic record recovered from the original FreeTechBooks listing. View archived source.
