14 citations · 34 across the 11 of their papers we have counts for
1 paper · 2 filters
David Baelde, Amina Doumane, Denis Kuperberg +1
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account a…