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