@incollection{Joly,
    Author = {Joly, Thierry},
    BookTitle = {Typed Lambda Calculi and Applications},
    Editor = {Hofmann, Martin},
    File = {Encoding of the Halting Problem into the Monster Type and Applications - Joly (0) (0) - a - a - l.pdf},
    ISBN = {978-3-540-40332-6},
    Language = {English},
    Pages = {153-166},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Encoding of the Halting Problem into the Monster Type and Applications},
    URL = {http://dx.doi.org/10.1007/3-540-44904-3\_11},
    Volume = {2701},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-44904-3\_11},
    date-added = {2013-03-27 13:42:05 +0000},
    date-modified = {2013-03-27 13:42:05 +0000},
    doi = {10.1007/3-540-44904-3_11}
}

@incollection{Joly, Author = {Joly, Thierry}, BookTitle = {Typed Lambda Calculi and Applications}, Editor = {Hofmann, Martin}, File = {Encoding of the Halting Problem into the Monster Type and Applications - Joly (0) (0) - a - a - l.pdf}, ISBN = {978-3-540-40332-6}, Language = {English}, Pages = {153-166}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Encoding of the Halting Problem into the Monster Type and Applications}, URL = {http://dx.doi.org/10.1007/3-540-44904-3_11}, Volume = {2701}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-44904-3_11}, date-added = {2013-03-27 13:42:05 +0000}, date-modified = {2013-03-27 13:42:05 +0000}, doi = {10.1007/3-540-44904-3_11} }