Доманов О. А. «Формализация контекстов в теории типов с записями и модулями» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №52 C.23-38
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57
Вы можете добавить статью