01:25:25duration 1 hour 25 minutes
Topologically Ordered Matter and Why You Should…
Topologically Ordered Matter and Why You Should be Interested
Steven H. Simon - Oxford University
22:46duration 22 minutes 46 seconds
cos326-2020-13-03-ho-rep-inv
Reasoning About Modular Programs: Part 3: More Representation Invariants
13:10duration 13 minutes 10 seconds
cos326-2020-13-02-rep-inv-set
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
12:36duration 12 minutes 36 seconds
cos326-2020-13-01-representation-invariants
Reasoning about Modular Programs: Part 1: Representation Invariants