@inproceedings{10.1145/2322176.2322185,
    Address = {New York, NY, USA},
    Author = {Scott, Dana S.},
    BookTitle = {ACM Turing Centenary Celebration},
    File = {Lambda Calculus Then and Now - lambda\_calculus\_timeline - a - a - a - o.pdf},
    ISBN = {9781450339193},
    Location = {San Francisco, California, USA},
    Publisher = {Association for Computing Machinery},
    Series = {ACM-TURING '12},
    Title = {Lambda Calculus Then and Now},
    URL = {https://doi.org/10.1145/2322176.2322185},
    Year = {2012},
    articleno = {Article 9},
    bdsk-url-1 = {https://doi.org/10.1145/2322176.2322185},
    bdsk-url-2 = {https://dl.acm.org/action/downloadSupplement?doi=10.1145\%2F2322176.2322185\&file=07-fri-acm.mp4\&download=true},
    bdsk-url-3 = {https://www.youtube.com/watch?v=SphBW9ILVPU},
    bdsk-url-4 = {https://www.youtube.com/watch?v=7cPtCpyBPNI},
    date-added = {2020-02-05 18:53:14 +0100},
    date-modified = {2020-02-05 18:53:14 +0100},
    numpages = {1},
    doi = {10.1145/2322176.2322185}
}

@inproceedings{10.1145/2322176.2322185, Address = {New York, NY, USA}, Author = {Scott, Dana S.}, BookTitle = {ACM Turing Centenary Celebration}, File = {Lambda Calculus Then and Now - lambda_calculus_timeline - a - a - a - o.pdf}, ISBN = {9781450339193}, Location = {San Francisco, California, USA}, Publisher = {Association for Computing Machinery}, Series = {ACM-TURING '12}, Title = {Lambda Calculus Then and Now}, URL = {https://doi.org/10.1145/2322176.2322185}, Year = {2012}, articleno = {Article 9}, bdsk-url-1 = {https://doi.org/10.1145/2322176.2322185}, bdsk-url-2 = {https://dl.acm.org/action/downloadSupplement?doi=10.1145\%2F2322176.2322185\&file=07-fri-acm.mp4\&download=true}, bdsk-url-3 = {https://www.youtube.com/watch?v=SphBW9ILVPU}, bdsk-url-4 = {https://www.youtube.com/watch?v=7cPtCpyBPNI}, date-added = {2020-02-05 18:53:14 +0100}, date-modified = {2020-02-05 18:53:14 +0100}, numpages = {1}, doi = {10.1145/2322176.2322185} }