Борисов, Е. В. Кондициональная логика с λ-оператором. RL 2026, 7, 22-29.