MoL-2015-28: Gavazzo, Francesco (2015) Investigations into Linear Logic with Fixed-Point Operators. [Report]