In mathematics, computer science and logic, convergence refers to the idea that different sequences of transformations come to a conclusion in a finite amount of time (the transformations are terminating), and that the conclusion reached is independent of the path taken to get to it (they are confluent).
|This computer science article is a stub. You can help Wikipedia by expanding it.|
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|