Gilles Kahn, French Computer Scientist of some renown, ends his seminal paper The Semantics of a Simple Language for Parallel Programming (Information Processing 74, Proceedings of IFIP Congress 74) with the following:
Our last conclusion is to recall a principle that has been so often fruitful in Computer Science and that is central to Scott's theory of computation: a good concept is one that is closed
- under arbitrary composition
- under recursion.