Andrew Swan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Andrej Bauer
7 publications
Taichi Uemura
6 publications

research

∙ 05/08/2019

On Church's Thesis in Cubical Assemblies

We show that Church's thesis, the axiom stating that all functions on th...

0 Andrew Swan, et al. ∙

research

∙ 04/02/2018

Every metric space is separable in function realizability

We first show that in the function realizability topos every metric spac...

0 Andrej Bauer, et al. ∙