আমার জ্ঞানের মতে, তিনটি প্রধান প্রক্রিয়া বীজগণিত রয়েছে যা একযোগের আনুষ্ঠানিক মডেলগুলিতে এক বিস্তৃত গবেষণাকে অনুপ্রাণিত করে। এইগুলো:
- সিসিএস এবং ক্যালকুলাস উভয়ই রবিন মিলনার by
- টনি হোয়ের সিএসপি এবং
- জন বার্গস্ট্রা এবং জ্যান উইলেম ক্লোপের এসিপি
তিনটিই আজকের দিনে মনে হয় তাদের পক্ষে বেশ সক্রিয় অনুসরণ এবং বিপুল পরিমাণে গবেষণা হয়েছে।
এই পদ্ধতির মূল মিল এবং পার্থক্যগুলি কী কী? কেন ক্ষেত্রটি একীকরণের জন্য সার্বজনীন মডেল নেই এমন অর্থে কেন প্রক্রিয়া বীজগণিত রূপান্তরিত না হয়ে পরিবর্তিত হয়েছে?
2
আংশিকভাবে ধর্মবিরোধী আংশিক উত্তর: 3 টি পদ্ধতির জন্য বহু বারের মত 3 বারের জন্য মঞ্জুরি দেওয়া হয়।
—
কাই