2 ms·

Can you post your papers on linear logic? That would de-anonymise me on HN, which I want to avoid.