1
Bir dilin `` alıntı '' `` '' ile bağlamsal denkliği önemsiz mi değil mi?
[1] 'de, Mitchell Wand, saf lambda hesabına fexprs eklemenin, bağlamsal eşdeğerlik teorisini önemsizleştirdiğini, yani iki terimin, eşdeğer oldukları sürece bağlamsal olarak eşdeğer olduğunu gösterdi. İlgili çalışmaları incelerken, "sonucumuz eski bir Albert Meyer gözlemini genişletiyor ve bağlamsal eşdeğerliği önemsiz hale getiriyor " dedi. Ancak [2] 'ye atıfta bulunulabilecek şey, Meyer tarafından …