1
Является ли контекстуальная эквивалентность языка с `quote`-`eval` тривиальной или нет?
В [1] Митчелл Ванд продемонстрировал, что добавление fexprs к чистому лямбда-исчислению упрощает теорию контекстуальной эквивалентности, означая, что два термина контекстуально эквивалентны, если они -конгруэнтны. При изучении соответствующей работы, он пошел «наш результат расширяет старое наблюдение Альберт Мейер [2] , что и визуализации контекстная эквивалентности тривиальным». Но, ссылаясь на [2], можно …