3 ms·Compositionality Workshop, Simons Institute for the Theory of Computing2 points by mathgenius 10y ago