%0 Unpublished Work %1 Barendregt2000Introduction %A Barendregt, Henk %A Barendsen, Erik %D 2000 %K 03b40-combinatory-logic-and-lambda-calculus 03d10-turing-machines-and-related-notions 68n18-functional-programming-and-lambda-calculus %T Introduction to Lambda Calculus %U http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf %7 Revised

@unpublished{Barendregt2000Introduction, added-at = {2019-03-01T00:11:50.000+0100}, author = {Barendregt, Henk and Barendsen, Erik}, biburl = {https://www.bibsonomy.org/bibtex/2119ca2319bb8a444e56a1334607dba08/gdmcbain}, citeulike-article-id = {14439797}, citeulike-attachment-1 = {barendregt_00_introduction.pdf; /pdf/user/gdmcbain/article/14439797/1119451/barendregt_00_introduction.pdf; 322cb8734965d5e7693248919f5d887e019f05b2}, citeulike-linkout-0 = {http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf}, edition = {Revised}, file = {barendregt_00_introduction.pdf}, interhash = {bcfe4afc85e52c84c9f76313797f4ff6}, intrahash = {119ca2319bb8a444e56a1334607dba08}, keywords = {03b40-combinatory-logic-and-lambda-calculus 03d10-turing-machines-and-related-notions 68n18-functional-programming-and-lambda-calculus}, month = mar, posted-at = {2017-09-29 03:38:20}, priority = {2}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Introduction to Lambda Calculus}}, url = {http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf}, year = 2000 }