Computer Science: Clear, intuitive derivation of the fixed-point combinator (Y combinator)? Published -- Download video MP4 360p