@article{Lassen1999346,
    Author = {Lassen, S.B.},
    File = {Bisimulation in Untyped Lambda Calculus Böhm Trees and Bisimulation up to Context - Lassen (0) (0) - a - a - w.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Note = {<ce:title>MFPS XV, Mathematical Foundations of Progamming Semantics, Fifteenth Conference</ce:title>},
    Number = {0},
    Pages = {346 - 374},
    Title = {Bisimulation in Untyped Lambda Calculus: B{\"o}hm Trees and Bisimulation up to Context},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066104800835},
    Volume = {20},
    Year = {1999},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104800835},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80083-5},
    date-added = {2014-01-29 12:58:11 +0000},
    date-modified = {2014-01-29 12:58:18 +0000},
    doi = {10.1016/S1571-0661(04)80083-5}
}

@article{Lassen1999346, Author = {Lassen, S.B.}, File = {Bisimulation in Untyped Lambda Calculus Böhm Trees and Bisimulation up to Context - Lassen (0) (0) - a - a - w.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Note = {MFPS XV, Mathematical Foundations of Progamming Semantics, Fifteenth Conference}, Number = {0}, Pages = {346 - 374}, Title = {Bisimulation in Untyped Lambda Calculus: B{\"o}hm Trees and Bisimulation up to Context}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066104800835}, Volume = {20}, Year = {1999}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104800835}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80083-5}, date-added = {2014-01-29 12:58:11 +0000}, date-modified = {2014-01-29 12:58:18 +0000}, doi = {10.1016/S1571-0661(04)80083-5} }