Add link to The Calculus of Constructions article at nLab.