Computing Theory and Compositionality