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

First Page		Document Content
Date: 2007-08-02 03:39:16		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 Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 143,50 KB Share Document on Facebook