Ensuring Termination by Typability (0)

by Yuxin Deng, Davide Sangiorgi
Venue:Information and Computation