The Zeta Calculus. - Nicklas Botö; Fabian Forslund (CoRR, 2023)