Andrew Swan

Publications

• On Church's Thesis in Cubical Assemblies. Andrew Swan, Taichi Uemura. 2019.
• Every Metric Space Is Separable in Function Realizability. Andrej Bauer, Andrew Swan. 2019.
• W-Types With Reductions and the Small Object Argument. Andrew Swan. 2018.