Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions.

Siddharth Bhaskar, Jane Chandlee, Adam Jardine, Christopher Oakden

Browse the full LATA paper archive.