Чтобы как-то ответить теоретически, надо максимально единообразно формализовать все рассматриваемые диалекты лиспа (получив ещё одни диалекты, так как формализовать можно если не как угодно, то очень многими способами =)), а потом рассмотреть эти формализации с точки зрения теории формальной грамматики, формальной семантики и также некоторого аналога универсальной логики и универсальной алгебры, но только для вычислительных формальных систем (например, если рассмотреть теорию институций через Карри-Говарда, наверное, добавив что-нибудь модальное про computability и т.п.)