CDL Theory Survey