Ensuring termination by typability (0)

by Y Deng, D Sangiorgi
Venue:Info. Comput