| In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory. | В математической логике примитивно рекурсивный функционал (англ. primitive recursive functional) - это обобщение понятия примитивно рекурсивной функции на многомерную теорию типов. |
| Every primitive recursive functional has a type, which tells what kind of inputs it takes and what kind of output it produces. | Каждый примитивно рекурсивный функционал имеет тип, указывающий, что функционал получает на вход, и что производит в качестве результата. |
| They are exquisitely topographic and they are exquisitely interconnected in a recursive pattern. | Их положение чётко определено, и они тонко взаимодействуют друг с другом, образуя рекурсивный паттерн. |