Computability Theory

References

• Parametric Church's Thesis: Synthetic Computability Without Choice. Yannick Forster. 2021.