5
-calculus প্রতিফলন সঙ্গে
আমি একটি সাধারণ ক্যালকুলাস খুঁজছি যা প্রতিবিম্ব সম্পর্কে যুক্তি সমর্থন করে , যথা, চলমান প্রোগ্রামগুলির অন্তর্মুখী এবং হেরফের। এমন কোনও টাইপযুক্ত- ক্যালকুলাস এক্সটেনশন রয়েছে যা একজনকে স্টার্মগুলিকে এমন একটি রূপে রূপান্তর করতে সক্ষম করে যা সিনট্যাকটিকালি ম্যানিপুলেটেড এবং তারপরে মূল্যায়ন করা যায়?λλ\lambdaλλ\lambda আমি কল্পনা করি যে ক্যালকুলাসের দুটি প্রধান অতিরিক্ত …