fixed point combinator

(mathematics)   (Y) The name used in combinatory logic for the fixed point function, also written as "fix".

Last updated: 1994-10-20


Loading