Home » Authors » Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author)

Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author)

Public reference bibliography and cataloged PDF materials authored or published by Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author).

Found 1 document(s) Page 1 of 1

Programming in Martin-Lof's Type Theory: An Introduction

Year: 1990 • ISBN: 0198538146 • Source: freecomputerbooks.com • Size: 692.7 KB • ✓ Verified PDF

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 spe...