আমি বর্তমানে হিন্ডলি এবং সেলডিনের " ল্যাম্বডা-ক্যালকুলাস এবং সংযুক্তকারী " পড়ছি । আমি কোনও বিশেষজ্ঞ নই, তবে কার্যকরী প্রোগ্রামিংয়ের সাথে জড়িত থাকার কারণে (লিস্প এবং এসআইসিপি দিয়ে শুরু করা, এবং এখন আর এবং হাস্কেলের সাথে) ল্যাম্বডা ক্যালকুলাসের প্রতি সর্বদা আগ্রহী হয়েছি।
"এ বাইনারি ল্যামডা ক্যালকুলাস এবং সমন্নয়ের লজিক" , জন Tromp বলে:
সিএল ল্যাম্বডা ক্যালকুলাসের সাবসেট হিসাবে দেখা যেতে পারে ... তত্ত্বগুলি মূলত একই রকম হয়, এক্সটেনসিলিটির নিয়মের উপস্থিতিতে সমতুল্য হয়ে ওঠে।
কোন পরিস্থিতিতে ল্যাম্বডা ক্যালকুলাসের পরিবর্তে সংযুক্ত যুক্তি ব্যবহার করা হবে ?
কোন রেফারেন্স প্রশংসা করা হবে।