Mary@Mary959Follow1 itemActivating this element will cause content on the page to be updated.[PDF/Kindle] The Lambda Calculus. Its Syntax and Semantics by Henk BarendregtItems