* The conference in honor of Kripke's sixty-fifth birthday with a video of his speech "The First Person", January 25–26, 2006* Video of his talk "From Church's Thesis to the First Order Algorithm Theorem," June 13, 2006.
* The conference in honor of Kripke's sixty-fifth birthday with a video of his speech "The First Person", January 25–26, 2006* Video of his talk "From Church's Thesis to the First Order Algorithm Theorem," June 13, 2006.