@incollection{barendregt:90,
    Author = {Barendregt, Henk and Hemerik, Kees},
    BookTitle = {ESOP '90},
    Editor = {Jones, Neil},
    File = {Types in lambda calculi and programming languages - Barendregt, Hemerik (0) (0) - a - a - e.pdf},
    ISBN = {978-3-540-52592-9},
    Keywords = {readme and lambda calculus},
    Pages = {1-35},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Types in lambda calculi and programming languages},
    URL = {http://dx.doi.org/10.1007/3-540-52592-0\_53},
    Volume = {432},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-52592-0\_53},
    date-added = {2013-07-10 11:51:02 +0000},
    date-modified = {2013-07-10 11:52:13 +0000},
    doi = {10.1007/3-540-52592-0_53}
}

@incollection{barendregt:90, Author = {Barendregt, Henk and Hemerik, Kees}, BookTitle = {ESOP '90}, Editor = {Jones, Neil}, File = {Types in lambda calculi and programming languages - Barendregt, Hemerik (0) (0) - a - a - e.pdf}, ISBN = {978-3-540-52592-9}, Keywords = {readme and lambda calculus}, Pages = {1-35}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Types in lambda calculi and programming languages}, URL = {http://dx.doi.org/10.1007/3-540-52592-0_53}, Volume = {432}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-52592-0_53}, date-added = {2013-07-10 11:51:02 +0000}, date-modified = {2013-07-10 11:52:13 +0000}, doi = {10.1007/3-540-52592-0_53} }