Jean-Yves Marion Proceedings Second Workshop on Developments in Implicit Computational Complexity DICE http://dx.doi.org/10.4204/EPTCS.75 2011 EPTCS 75 db/series/eptcs/eptcs75.html