He defines functional programs as being built up in a hierarchical way by means of "combining forms" that allow an "algebra of programs"; in modern language, this means that functional programs follow the principle of compositionality.
El definește programele funcționale ca fiind constituite într-o manieră ierarhică, prin utilizarea "formelor combinante" care permit o "algebră de programe"; în limbajul modern, aceasta înseamnă că programele funcționale respectă principiul compoziționalității.