Decision Problems for Linear Logic With Least and Greatest Fixed Points

Motivation: Regularisation Techniques Are Not Logic-Independent