ল্যাম্‌ডা ক্যালকুলাস: সংশোধিত সংস্করণের মধ্যে পার্থক্য

* '''চলক''' - যাকে একটি অক্ষর দিয়ে প্রকাশ করা হয়, যেমন <math>x</math> (আসলে এই চলকটিও একটি ফাংশন, (সকল ল্যাম্‌ডা রাশিই যেহেতু ফাংশন), কিন্তু একে কারো উপর প্রয়োগ করা হয় নি)।

* '''প্রয়োগ''' - একটি ল্যাম্‌ডা রাশিকে আরেকটি ল্যাম্‌ডা রাশির উপর প্রয়োগ করা যায়। প্রয়োগ বুঝাতে যাকে প্রয়োগ করা হচ্ছে এবং যার উপর প্রয়োগ করা হচ্ছে সেই রাশি দুইটিকে পরপর লেখা হয়, যেমন <math>(M N)</math>, যেখানে <math>M</math>কে <math>N</math>এর উপর প্রয়োগ করা হচ্ছে। সম্পূর্ণ রাশিটির মান হল এই প্রয়োগের ফলাফল রাশিটি।

* '''অ্যাবস্ট্রাকশন''' - একটি ল্যাম্‌ডা রাশি থেকে যখন কোন একটি চলককে সরিয়ে নেয়া হয় তখন এরকম একটি ফাংশন হয় যাকে অন্য কোন রাশির উপর প্রয়োগ করলে রাশিটির মান হবে ঐ চলককে ঐ রাশিটি দিয়ে প্রতিস্থাপন করলে যেই রাশিটি পাওয়া যায়। কোন রাশি <math>M</math> থেকে কোন চলক <math>x</math> কে সরিয়ে নিলে যে ফাংশনটি পাওয়া যায় তাকে লেখা হয় <math>(\lambda x.\, M</math>), একে অন্য কোন রাশি <math>N</math> এর উপর প্রয়োগ করলে পাওয়া যায় <math>M [x:=N]</math>, অর্থাৎ <math>M</math>এ সকল <math>x</math>কে <math>N</math> দিয়ে প্রতিস্থাপন করলে যে রাশিটি পাওয়া যায়।