@article{Salvati:Walukiewicz:MSCS:2015,
    Author = {Salvati, Sylvain and Walukiewicz, Igor},
    File = {Simply typed fixpoint calculus and collapsible pushdown automata - Salvati, Walukiewicz (0) (0) - a - a - f.pdf},
    ISSN = {1469-8072},
    Journal = {Math. Struct. in Comp. Science},
    Month = {5},
    Pages = {1--47},
    Title = {Simply typed fixpoint calculus and collapsible pushdown automata},
    URL = {http://journals.cambridge.org/article\_S0960129514000590},
    Year = {2015},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129514000590},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129514000590},
    date-added = {2015-05-22 14:33:05 +0000},
    date-modified = {2015-06-30 08:43:47 +0000},
    file-2 = {igw-lambda-cpda (0) - a - a - f.pdf},
    numpages = {47},
    doi = {10.1017/S0960129514000590}
}

@article{Salvati:Walukiewicz:MSCS:2015, Author = {Salvati, Sylvain and Walukiewicz, Igor}, File = {Simply typed fixpoint calculus and collapsible pushdown automata - Salvati, Walukiewicz (0) (0) - a - a - f.pdf}, ISSN = {1469-8072}, Journal = {Math. Struct. in Comp. Science}, Month = {5}, Pages = {1--47}, Title = {Simply typed fixpoint calculus and collapsible pushdown automata}, URL = {http://journals.cambridge.org/article_S0960129514000590}, Year = {2015}, bdsk-url-1 = {http://journals.cambridge.org/article_S0960129514000590}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129514000590}, date-added = {2015-05-22 14:33:05 +0000}, date-modified = {2015-06-30 08:43:47 +0000}, file-2 = {igw-lambda-cpda (0) - a - a - f.pdf}, numpages = {47}, doi = {10.1017/S0960129514000590} }