Introduction to higher order categorical logic - Lambek, J. (Cambridge studies in advanced mathematics ;, 1988)