In implementations this "name" takes the form of a pointer, with the redex represented by a thunk.
در پیاده‌سازی این «نام» به صورت یک اشاره گر به دست می‌آید، با استفاده از redex توسط Thunk نشان داده می‌شود.