Add link to Lambda Calculi with Types by Barendregt.