Доманов О. А. «Формализация контекстов в теории типов с записями и модулями» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №52 C.23-38
Доманов О. А. «Понимание как вычисление» // Вестник Томского государственного университета. Философия. Социология. Политология 2022. №67 C.287-291
Вы можете добавить статью