1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Reuben N. S. Rowe, James Brotherston
A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite…