u.a. "Grundlage" der Programmiersprache LISP, entwickelt von Alonzo Church, Termersetzungsmethode zur Indizierung von dynamischen Variablensystemen