Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Типизация универсума и типизация языка
\
Типы от Рассела до "Паскаля": основные точки зрения (В. Н. Агафонов)
\
9.6.4.11.1.2. Типизация универсума и языка, функциональные типы
Начало см.
здесь
.
Агафонов В. Н.
Типы от Рассела до "Паскаля": основные точки зрения.
В сборнике:
"Данные в языках программирования".
М.: Мир, 1982, cc. 267 — .
