Decision Problems for Linear Logic with Least and Greatest Fixed Points.

Anupam Das, Abhishek De, Alexis Saurin

Browse the full FSCD paper archive.