Similar Items: The Church Synthesis Problem with Parameters
- The Church Synthesis Problem over Continuous Time
- The Church Problem for Countable Ordinals
- A Curry-Howard Approach to Church's Synthesis
- Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice