92 citations · 192 across the 19 of their papers we have counts for
1 paper · 2 filters
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…