peteg's blog - noise - quotes - 2006 09 13 GillesKahn

/noise/quotes | Link

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

  1. under arbitrary composition
  2. under recursion.