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

লক্ষ্যণীয়, এই প্রমাণটি শুধু যে স্থির বিন্দুর অস্তিত্ত্ব দেখায় তাই না, (একটি) স্থির বিন্দু নির্ণয়ও করে দেয়।
 
স্থির বিন্দু নির্ণায়কের মাধ্যমে ল্যাম্‌ডা ক্যালকুলাসে [[পুনরাবৃত্ত ফাংশন]] (ইংলিশে, [[w:en:Recursive function|Recursive function]]) প্রকাশ করা যায়।
 
== টাইপ থিওরী এবং ল্যামডা ক্যালকুলাস ==
২৩৮টি

সম্পাদনা