Text this: NEW APPROACH TO CATEGORICAL SEMANTICS FOR PROCEDURAL LANGUAGES.