Book

Simple Type Theory

by William M. Farmer