11 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Sergey Goncharov, Christoph Rauch, Lutz Schröder
Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of…