home
items
computability theory
Computability Theory
Contents
References
References
Yannick Forster. Parametric Church's Thesis: Synthetic Computability Without Choice. 2021.