Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA - David Lyon - Document - PDFSEARCH.IO

First Page	Meta Content
	Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org Add to Reading List Document Date: 2007-08-02 03:39:16 Open Document File Size: 143,50 KB Share Result on Facebook

Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.orgAdd to Reading List