Search

• < Previous
• 1
• Next >

A Curry-Howard Approach to Church's Synthesis

Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic (MSO) over infinite words, Church's synthesis can theoretically be solved algorithmically using automata and&nbsp;[&hellip;]