Similar Items: A Curry-Howard Approach to Church's Synthesis
- A Curry-Howard Correspondence for Linear, Reversible Computation
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- The Church Synthesis Problem with Parameters
- The Church Synthesis Problem over Continuous Time
- Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
- The Church Problem for Countable Ordinals