chateau_d_if.jpeg

Bar recursion in classical realizability: dependent choice and continuum hypothesis

  • Jean-Louis Krivine

Schedule

  • Aug. 30, 2016, 16:30 - 18:00(Realizability, denotational semantics session)

Attachments