Programming in Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan M. Smith

From the Preface:
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for researchers and graduate students with an interest in the foundations of computing science, and it is mathematically self-contained."

Submitted by okal on Jan. 1, 2013, 3:46 p.m.
Flag book for abuse