Relative and Modified Relative Realizability

Activity: Talk or presentation › Invited talk › Academic

Period29 Apr 2000
Event titlePeripatetic Seminar on Sheaves and Logic
Event typeOther
LocationBraunschweigShow on map