Translations and Kripke models for constructive set theories

    Activity: Talk or presentation › Invited talk › Popular

    Period1 May 2008
    Event titleLogic Models of Reasoning and Computation (Moscow)
    Event typeSeminar