@article{Schubert:2008:BAR:1394781.1394786,
    Address = {New York, NY, USA},
    Author = {Schubert, Aleksy},
    File = {On the building of affine retractions - Schubert (0) (0) - a - a - z.pdf},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Keywords = {simply-typed lambda calculus},
    Month = {August},
    Number = {4},
    Pages = {753--793},
    Publisher = {Cambridge University Press},
    Title = {On the building of affine retractions},
    URL = {http://dx.doi.org/10.1017/S096012950800683X},
    Volume = {18},
    Year = {2008},
    acmid = {1394786},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S096012950800683X},
    date-added = {2013-07-15 09:42:15 +0000},
    date-modified = {2013-07-15 09:42:29 +0000},
    issue_date = {August 2008},
    numpages = {41},
    doi = {10.1017/S096012950800683X}
}

@article{Schubert:2008:BAR:1394781.1394786, Address = {New York, NY, USA}, Author = {Schubert, Aleksy}, File = {On the building of affine retractions - Schubert (0) (0) - a - a - z.pdf}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Keywords = {simply-typed lambda calculus}, Month = {August}, Number = {4}, Pages = {753--793}, Publisher = {Cambridge University Press}, Title = {On the building of affine retractions}, URL = {http://dx.doi.org/10.1017/S096012950800683X}, Volume = {18}, Year = {2008}, acmid = {1394786}, bdsk-url-1 = {http://dx.doi.org/10.1017/S096012950800683X}, date-added = {2013-07-15 09:42:15 +0000}, date-modified = {2013-07-15 09:42:29 +0000}, issue_date = {August 2008}, numpages = {41}, doi = {10.1017/S096012950800683X} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge