1 paper
David Barozzini, Paweł Parys, Jan Wróblewski
Decidability of the problems of unboundedness and simultaneous unboundedness (aka. the diagonal problem) for higher-order recursion schemes was established by Clemente, Parys, Salv…