Person. Frédéric Blanqui Researcher · Inria · 0000-0001-7438-5554 Papers On the Relation between Sized-Types Based Termination and Semantic Labelling blanqui-2009-onCSL · 2009 DOI · arXiv