Всюду определенные непрерывные функционалы

В работе на основании $\lambda$-модели частичных непрерывных функционалов ${\mathbb C}$ строится $\lambda$-модель ${\mathbb G}$ всюду определенных непрерывных функционалов. Доказывается, что ${\mathbb G}$ образует модель исчисления бар-рекурсивных функционалов Спектора. Определяются вычислимые всюду определенные функционалы и замечается, что все термальные функционалы исчисления Спектора вычислимы.