Type Theory and Functional Programming

Simon Thompson

Errata

Chapter 1, Exercise 1.4 part 1, should ask for a proof of

(A => B) => (not B => not A)

Chapter 1, Exercise 1.5, should ask for a proof of

(A \/ B) => ((A => _|_)/\(B => _|_) => _|_)

Thanks for Iosif Neitzke and Gavin Mendel-Gleason for pointing out these problems.