ক্লোপ, ভ্যান ওস্ট্রোম এবং ডি ভ্রিজারের ল্যাম্বডা ক্যালকুলাসে নিদর্শন সহ একটি কাগজ রয়েছে।
http://www.sciencedirect.com/science/article/pii/S0304397508000571
কিছু অর্থে, একটি প্যাটার্নটি ভেরিয়েবলের একটি গাছ - যদিও আমি কেবল এটিকে ভেরিয়েবলের নেস্টেড টুপল হিসাবে ভাবছি, উদাহরণস্বরূপ, ((x, y), z), (t, s))।
কাগজে তারা দেখিয়েছেন যে যদি নিদর্শনগুলি রৈখিক হয়, এমন কোনও অর্থে যে কোনও প্যাটার্নে কোনও পরিবর্তনশীল পুনরাবৃত্তি না হয় তবে নিয়মটি
(\p . m) n = m [n/p]
যেখানে পি একটি পরিবর্তনশীল প্যাটার্ন এবং n হ'ল শব্দের একটি পৃথক আকারের সাথে পি হিসাবে সমান হয়।
নিদর্শন এবং অতিরিক্ত এটা নিয়ম (সম্প্রসারণ, হ্রাস, বা কেবল সাম্যতা) সহ ল্যাম্বদা ক্যালকুলাসের জন্য সাহিত্যে একই রকমের বিকাশ ঘটলে আমি আগ্রহী।
বিশেষত, এটা দ্বারা, আমি বলতে চাইছি
m = \lambda p . m p
আরও সরাসরি, আমি কৌতূহলী যে এই ধরনের লম্বা ক্যালকুলাসের কী কী বৈশিষ্ট্য থাকবে। উদাহরণস্বরূপ, এটি কি সংমিশ্রিত?
এটি শ্রেণিবদ্ধকরণ বিভাগটি বন্ধ করতে বাধ্য করে কারণ এটি সেই সম্পত্তিটিকে বাধ্য করে
m p = n p implies m = n
এর মধ্যে \ xi-नियम ব্যবহার করে। তবে সম্ভবত কিছু ভুল হতে পারে?