1
`কোয়েট-শেভালি` তুচ্ছ সঙ্গে একটি ভাষার প্রাসঙ্গিক সমতা বা না?
[1] সালে মিচেল ওয়ান্ড প্রদর্শিত যে বিশুদ্ধ ল্যামডা ক্যালকুলাস করার fexprs যোগ প্রাসঙ্গিক সমানতা তত্ত্ব trivializes, যার অর্থ দুটি পদ বিষয়গতভাবে সমতুল্য iff তারা হয় -congruent। যখন সংশ্লিষ্ট কাজ অন্বেষণ, তিনি গেলেন "আমাদের ফলাফলের আলবার্ট মেয়ার এর একটি পুরোনো পর্যবেক্ষণ [2] যে প্রসারিত করে এবং রেন্ডার প্রাসঙ্গিক সমানতা তুচ্ছ"। তবে …