92 citations · 192 across the 19 of their papers we have counts for
1 paper · 1 filter
Stefan Milius, Lawrence S. Moss
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoreti…