Jump to navigation Jump to search
sequentialisation (plural sequentialisations)
- Alternative form of
- 2016, Á. García-Pérez, P. Nogueira, “No solvable lambda-value term left behind”, in arXiv:
- The intuition is that in lambda-value the different sequentialisations of a computation can be distinguished operationally.