Lambda Calculi, Standard ML definition and commentary and Basic Category Theory by Pierce