@inproceedings{Salvati:2009:RST:1573608.1573614,
    Address = {Berlin, Heidelberg},
    Author = {Salvati, Sylvain},
    BookTitle = {Proceedings of the 16th International Workshop on Logic, Language, Information and Computation},
    File = {Recognizability in the Simply Typed Lambda-Calculus - Salvati (0) (0) - a - a - j.pdf},
    ISBN = {978-3-642-02260-9},
    Keywords = {simply-typed lambda calculus and language theory and readme},
    Location = {Tokyo, Japan},
    Pages = {48--60},
    Publisher = {Springer-Verlag},
    Series = {WoLLIC '09},
    Title = {Recognizability in the Simply Typed Lambda-Calculus},
    URL = {http://dx.doi.org/10.1007/978-3-642-02261-6\_5},
    Year = {2009},
    acmid = {1573614},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02261-6\_5},
    date-added = {2012-11-27 21:22:36 +0000},
    date-modified = {2013-03-28 14:31:00 +0000},
    file-2 = {Recognizability in the Simply Typed Lambda-Calculus - Salvati (1) (0) - a - a - j.pdf},
    numpages = {13},
    doi = {10.1007/978-3-642-02261-6_5}
}

@inproceedings{Salvati:2009:RST:1573608.1573614, Address = {Berlin, Heidelberg}, Author = {Salvati, Sylvain}, BookTitle = {Proceedings of the 16th International Workshop on Logic, Language, Information and Computation}, File = {Recognizability in the Simply Typed Lambda-Calculus - Salvati (0) (0) - a - a - j.pdf}, ISBN = {978-3-642-02260-9}, Keywords = {simply-typed lambda calculus and language theory and readme}, Location = {Tokyo, Japan}, Pages = {48--60}, Publisher = {Springer-Verlag}, Series = {WoLLIC '09}, Title = {Recognizability in the Simply Typed Lambda-Calculus}, URL = {http://dx.doi.org/10.1007/978-3-642-02261-6_5}, Year = {2009}, acmid = {1573614}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02261-6_5}, date-added = {2012-11-27 21:22:36 +0000}, date-modified = {2013-03-28 14:31:00 +0000}, file-2 = {Recognizability in the Simply Typed Lambda-Calculus - Salvati (1) (0) - a - a - j.pdf}, numpages = {13}, doi = {10.1007/978-3-642-02261-6_5} }