1
L'equivalenza contestuale di una lingua con `quote` -`eval` è banale o no?
In [1], Mitchell Wand ha dimostrato che l'aggiunta di fexprs al puro calcolo lambda banalizza la teoria dell'equivalenza contestuale, il che significa che due termini sono contestualmente equivalenti se sono congruenti. Quando esplorando collegato lavoro, è andato "il nostro risultato si estende una vecchia osservazione di Albert Meyer [2] che …