Truncation and Semi-Decidability Notions in Applicative Theories. - Gerhard Jäger; Timotej Rosebrock; Sato Kentaro (J. Symb. Log., 2018)