@article{Statman2004325,
    Author = {Statman, Rick},
    File = {On the lambdaY calculus - Statman (0) (0) - a - a - s.pdf},
    ISSN = {0168-0072},
    Journal = {Annals of Pure and Applied Logic},
    Keywords = {simply-typed lambda calculus},
    Note = {\<ce:title>Papers presented at the 2002 \{IEEE\} Symposium on Logic in Computer Science (LICS)\</ce:title>},
    Number = {1{\^a}€``3},
    Pages = {325 - 337},
    Title = {On the lambdaY calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/S0168007204000661},
    Volume = {130},
    Year = {2004},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007204000661},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2004.04.004},
    date-added = {2013-06-10 14:19:31 +0000},
    date-modified = {2013-06-10 14:20:31 +0000},
    doi = {10.1016/j.apal.2004.04.004}
}

@article{Statman2004325, Author = {Statman, Rick}, File = {On the lambdaY calculus - Statman (0) (0) - a - a - s.pdf}, ISSN = {0168-0072}, Journal = {Annals of Pure and Applied Logic}, Keywords = {simply-typed lambda calculus}, Note = {\<ce:title>Papers presented at the 2002 {IEEE} Symposium on Logic in Computer Science (LICS)\</ce:title>}, Number = {1{\^a}€``3}, Pages = {325 - 337}, Title = {On the lambdaY calculus}, URL = {http://www.sciencedirect.com/science/article/pii/S0168007204000661}, Volume = {130}, Year = {2004}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007204000661}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2004.04.004}, date-added = {2013-06-10 14:19:31 +0000}, date-modified = {2013-06-10 14:20:31 +0000}, doi = {10.1016/j.apal.2004.04.004} }