Video From 16w5099: Interval Analysis and Constructive Mathematics

Wednesday, November 16, 2016 10:03 - 10:42
Non-determinism and partiality in realizability: Pure Gray code

Download this video (150M)



Other videos from this workshop