প্রতিস্থাপনের এই পদ্ধতির নাম বিটা-সংক্ষেপণ (formula_22 reduction), সবসময় যদিও রাশিটি সংক্ষিপ্ত হয় না (আকারে),
এমনকি আকারে বাড়ে এরকম উদাহরণও খুবই সহজ,
তবে গণনা বা কম্পিউটেশনের মূলমন্ত্র যে এই সংক্ষেপণেই নিহিত তাতে কোন সন্দেহ নেই। কোন সংক্ষেপণটি থামবে কোনটি থামবে না তা নির্ণয় করার কোন সাধারণ অ্যালগোরিদম নেই, যার প্রমাণ টুরিং মেশিনের থামা-না-থামা সমস্যা।

বিটা-সংক্ষেপণ
সংজ্ঞা
স্থির বিন্দু
কম্পিউটার প্রোগ্রামিং-এ ল্যাম্‌ডা ক্যালকুলাস