EXPRESSIVITY OF AUDALA: TURING COMPLETENESS AND POSSIBLE EXTENSIONS. - FRANKEN, TOM T. P.; NEELE, THOMAS (Logical Methods in Computer Science (LMCS), 2026)