Rand's theory of concepts is the explicit cognitive framework of induction and abstraction - both vital to comp sci endeavors. To overlook her work is a tremendous oversight, a detriment to this congruency.