Mathematics and Computation (2019) [pdf]

Mathematics and Computation

Mathematics and Computation by Avi Wigderson (Draft)

Mathematics and Computation

Avi Wigderson, "Mathematics and Computation" [pdf]

Type refinements are functors [PDF]