রেনোল্ডস মূলত দ্বিতীয় অর্ডার পলিমারফিক ল্যাম্বডা ক্যালকুলাসের জন্য একটি সম্পর্কযুক্ত শব্দার্থক প্রস্তাব করেছিলেন [1]। তবে তিনি পরে [2] দেখিয়েছিলেন যে এই পদ্ধতির সাথে শাস্ত্রীয় সেট তত্ত্বের সাথে সঙ্গতিপূর্ণ নয়। পিটস হাইপারডোকট্রিন মডেল এবং টপোস মডেলগুলির কাঠামো বর্ণনা করেছেন [3] যা গঠনমূলক যুক্তির সাথে সামঞ্জস্যপূর্ণ।
সম্ভবতঃ সম্পর্কিত সম্পর্কিত হাইপারডোকট্রিন এবং টপোস মডেলগুলি তখন বিকশিত হয়েছিল। আমি তাদের সম্পর্কে কোথায় পড়তে পারি?
- [1] প্রকার, বিমূর্তি এবং প্যারামেট্রিক পলিমারফিজম
- [২] পলিমারফিজম সেট-তাত্ত্বিক নয়
- [3] বহুবর্ষকে তাত্ত্বিকভাবে গঠনমূলকভাবে সেট করা হয়েছে