collaborators

1 paper

cs.LO2018

A Curry-Howard Approach to Church's Synthesis

Cécilia Pradic, Colin Riba

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-Or…