MACHINE SPACE I: WEAK EXPONENTIALS AND QUANTIFICATION OVER COMPACT SPACES. - FAUL, PETER F.; MANUELL, GRAHAM (Logical Methods in Computer Science (LMCS), 2026)