@inproceedings{SalvatiWalukiewicz:Krivine:2011,
    Address = {Berlin, Heidelberg},
    Author = {Salvati, S. and Walukiewicz, I.},
    BookTitle = {Proc. of ICALP'11},
    File = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (0) (1) - a - a - d.pdf},
    Keywords = {higher-order recursion schemes and higher-order model checking and lambda calculus},
    Pages = {162--173},
    Publisher = {Springer-Verlag},
    Series = {LNCS},
    Title = {Krivine Machines and Higher-Order Schemes},
    Volume = {6756},
    Year = {2011},
    bdsk-url-1 = {http://www.springerlink.com/content/u5m41484464qm74w/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-22012-8\_12},
    date-added = {2012-03-06 18:13:31 +0100},
    date-modified = {2014-05-20 06:22:06 +0000},
    file-2 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (1) (0) - a - a - d.pdf},
    file-3 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (2) (0) - a - a - d.pdf},
    file-4 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (3) (0) - a - a - d.pdf},
    related-to = {KrivineMachine},
    doi = {10.1007/978-3-642-22012-8_12}
}

@inproceedings{SalvatiWalukiewicz:Krivine:2011, Address = {Berlin, Heidelberg}, Author = {Salvati, S. and Walukiewicz, I.}, BookTitle = {Proc. of ICALP'11}, File = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (0) (1) - a - a - d.pdf}, Keywords = {higher-order recursion schemes and higher-order model checking and lambda calculus}, Pages = {162--173}, Publisher = {Springer-Verlag}, Series = {LNCS}, Title = {Krivine Machines and Higher-Order Schemes}, Volume = {6756}, Year = {2011}, bdsk-url-1 = {http://www.springerlink.com/content/u5m41484464qm74w/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-22012-8_12}, date-added = {2012-03-06 18:13:31 +0100}, date-modified = {2014-05-20 06:22:06 +0000}, file-2 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (1) (0) - a - a - d.pdf}, file-3 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (2) (0) - a - a - d.pdf}, file-4 = {Krivine Machines and Higher-Order Schemes - Salvati, Walukiewicz (3) (0) - a - a - d.pdf}, related-to = {KrivineMachine}, doi = {10.1007/978-3-642-22012-8_12} }