On 2020-01-15 19:45, mechvel at scico.botik.ru wrote: > Does CAF abbreviate a Constant Applicative Form ? Yes. Perhaps I should have used the term "closed top-level expression" instead. -- /NAD