Boolean monadic recursive schemes as a logical characterization of the subsequential functions

Siddharth Bhaskar
Jane Chandlee, Haverford College
Adam Jardine
Christopher Oakden

Abstract