sequentialisation

Alternative form of sequentialization.

Noun

  1. Alternative form of sequentialization.
    • The intuition is that in lambda-value the different sequentialisations of a computation can be distinguished operationally. - 2016, Á. García-Pérez, P. Nogueira, “No solvable lambda-value term left behind”, in arXiv:

Origin

From sequential + -isation.

Forms

sequentialisations