প্রশ্ন ট্যাগ «curry-howard»

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

1
কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাস এবং উচ্চতর অর্ডার যুক্তি
সহজভাবে টাইপ করা ল্যাম্বদা ক্যালকুলাস এবং উচ্চতর অর্ডার যুক্তির মধ্যে কী সম্পর্ক? কারি-হাওয়ার্ডের অধীনে দেখে মনে হয় যে কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাস প্রজেক্টাল যুক্তির সাথে মিল রাখে। এটি কীভাবে উচ্চতর অর্ডার যুক্তির সাথে সম্পর্কিত? জিউভার্সের এই টিউটোরিয়াল অনুসারে: http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf এইচএল এর ভাষাটি এসটিটি বলে মনে হচ্ছে। এটি কি প্রোপ …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.