Least and greatest fixed points in linear logic (2007)

by D Baelde, D Miller
Venue:In LPAR