Least and Greatest Fixed Points in Linear Logic.

David Baelde, Dale Miller

Browse the full LPAR paper archive.