221 followers ArXiv cs.LO @arxiv_cslo Parametric Church's Thesis: Synthetic Computability without Choice https://t.co/lewhMzzc0W 23 Dec 2021 Reply Repost Favourite