@article{KennawayKlopSleepDeVries:TCS:1997,
    Author = {Kennaway, J. R. and Klop, J. W. and Sleep, M. R. and de Vries, F. J.},
    File = {Infinitary lambda calculus - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - g.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {readme},
    Number = {1},
    Pages = {93 - 125},
    Title = {Infinitary lambda calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397596001715},
    Volume = {175},
    Year = {1997},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397596001715},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(96)00171-5},
    date-added = {2014-01-29 12:56:23 +0000},
    date-modified = {2019-05-06 16:00:34 +0200},
    doi = {10.1016/S0304-3975(96)00171-5}
}

@article{KennawayKlopSleepDeVries:TCS:1997, Author = {Kennaway, J. R. and Klop, J. W. and Sleep, M. R. and de Vries, F. J.}, File = {Infinitary lambda calculus - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - g.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {readme}, Number = {1}, Pages = {93 - 125}, Title = {Infinitary lambda calculus}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397596001715}, Volume = {175}, Year = {1997}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397596001715}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(96)00171-5}, date-added = {2014-01-29 12:56:23 +0000}, date-modified = {2019-05-06 16:00:34 +0200}, doi = {10.1016/S0304-3975(96)00171-5} }