gwillen comments on Type Theory quick question

[gwillen]

Seconding TAPL, it was the textbook for the type theory course I took in college, it is topnotch.