07 July 2007

Two propositions (1 JUN 2007)

1. There are no genera. There are only generic procedures.
2. Closure is necessary for reflection.

No comments: