Least and greatest fixed points in linear logic (0)

by D Baelde, D Miller
Venue:In International Conference on Logic for Programming and Automated Reasoning (LPAR), N. Dershowitz and A. Voronkov, Eds. Lecture Notes in Computer Science