chateau_d_if.jpeg

Models of λ-Calculus and the Weak MSO Logic

  • Paweł Parys
  • Szymon Toruńczyk

Schedule

  • Aug. 29, 2016, 14:00 - 16:00(Verification, finite models session)

Attachments