Introduction To Higher-Order Categorical Logic door J. Lambek & P.J. Scott