1. fixed point combinator Y The name used in combinatory logic for the fixed point function, also written as "fix".
fixed point combinator |