Some subtoposes of the effective topos

    Activity: Talk or presentation › Invited talk › Academic

    Period7 Jun 2011
    Event titleSeminar za osnove matematike in teoretičnega računalništva
    Event typeOther