Alexandre Miquel (ENS Lyon, France), Classical realizability

Schedule

  • Feb. 14, 2012, 11:00 - 12:30: Introduction to classical realizability
  • Feb. 15, 2012, 11:00 - 12:30: Models induced by classical realizability

Attachments