Y combinator ^{الإنجليزية} (Q1808303)

one of the fixed-point combinators in untyped lambda calculus ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Y combinator	one of the fixed-point combinators in untyped lambda calculus

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

instance of ^{الإنجليزية}

fixed-point combinator ^{الإنجليزية}

١ مراجع

defining formula ^{الإنجليزية}

{\textsf {Y}}=\lambda f.\ (\lambda x.f\ (x\ x))\ (\lambda x.f\ (x\ x))

١ مراجع

discoverer or inventor ^{الإنجليزية}

١ مراجع