Ulrich Berger, Video: Non-determinism and partiality in realizability: Pure Gray code

Ulrich Berger, Video: Non-determinism and partiality in realizability: Pure Gray code

Ulrich Berger, Non-determinism and partiality in realizability: Pure Gray code, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

150M

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611161003-Berger.html