The Impact of the Lambda Calculus in Logic and Computer Science Export

@article{citeulike:502290, abstract = {One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.}, author = {Barendregt, Henk}, citeulike-article-id = {502290}, citeulike-linkout-0 = {http://www.jstor.org/stable/421013}, journal = {The Bulletin of Symbolic Logic}, keywords = {church, history\_of\_logic, lambda\_calculus}, number = {2}, pages = {181--215}, posted-at = {2006-02-12 05:04:09}, priority = {5}, title = {The Impact of the Lambda Calculus in Logic and Computer Science}, url = {http://www.jstor.org/stable/421013}, volume = {3}, year = {1997} }

TY - JOUR ID - citeulike:502290 L3 - citeulike-article-id:502290 N2 - One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand. IS - 2 JF - The Bulletin of Symbolic Logic EP - 215 TI - The Impact of the Lambda Calculus in Logic and Computer Science VL - 3 SP - 181 KW - church KW - history_of_logic KW - lambda_calculus AU - Barendregt, Henk PY - 1997/// UR - http://www.jstor.org/stable/421013 ER -