1
Чи тривіальна контекстна еквівалентність мови з "цитатою" -еваль?
У роботі [1] Мітчелл Ванд продемонстрував, що додавання fexprs до чистого обчислення лямбда тривілізує теорію контекстуальної еквівалентності, тобто два терміни є контекстуально еквівалентними, якщо вони -конгруентні. При вивченні відповідної роботи, він пішов «наш результат розширює старе спостереження Альберт Мейєр [2] , що і візуалізації контекстна еквівалентності тривіальним». Але посилаючись на …