Type Theory Books

Basic Simple Type Theory

• authors: Roger Hindley
• date: 1997
• borrow @ archive.org

.

Type Theory and Functional Programming

• authors: Simon Thompson
• date: 1999
• online @ www.cs.kent.ac.uk
• topics: Type Theory, Functional Programming

.

Programming in Martin-Löf’s Type Theory

• subtitle: an Introduction
• authors: Bengt Nordström, Kent Petersson, Jan M. Smith
• date: 1990
• online @ www.cse.chalmers.se

.