Report - Optimizing Optimal Reduction: A Type Inference Algorithm ... · The technique used in the paper, with minor modiﬁcations, can be used to obtain linear logic derivations as decorations

Please pass captcha verification before submit form