1
Apakah kesetaraan kontekstual dari suatu bahasa dengan `quote`-`eval` sepele atau tidak?
Dalam [1], Mitchell Wand menunjukkan bahwa menambahkan fexprs ke kalkulus lambda murni meremehkan teori kesetaraan kontekstual, yang berarti dua istilah setara secara kontekstual jika mereka -congruent. Ketika menjelajahi pekerjaan terkait, ia pergi "hasil kami memperluas pengamatan lama Albert Meyer [2] itu dan membuat sepele kesetaraan kontekstual". Tetapi merujuk pada [2], …