Я нахожу defs round, субъекты определяются их глаголами, но глаголы undefined! Итак, как вы их определяете?
Круговые определения
инициализация:, чтобы инициализировать переменную. Это можно сделать во время декларация.
присваивание:, чтобы присвоить значение переменной. Это можно сделать где угодно, только один раз с окончательным идентификатором.
: объявить значение переменной.
[обновление, попытка понять тему с помощью lambda calc]
D(x type) = (λx.x is declared with type)
A(y D(x type)) = (λy.y is assigned to D(x type))
%Then after some beta reductions we get initialization.
D(x type) me human // "me" declared with type "human"
A(y (D(x type) me human)) asking // "asking" assigned to the last declaration
%if the last two statemets are valid, an initialization exists. Right?