Strong Normalisation in Higher-Order Action Calculi

R. Milner
DOI: https://doi.org/10.1007/BFb0014545
1997-09-23
Abstract:
What problem does this paper attempt to address?