15 citations · 40 across the 14 of their papers we have counts for
1 paper · 1 filter
Francesco Dagnino
We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning,…