3 ms·This sounds like proof normalization in linear logic.by adamnemecek 7y agoThis sounds like proof normalization in linear logic.lidHanteyk 7y agoIn many flavors of logic, not just linear logic.