| Персоналии |
|
|
|
|
|
Соколов Павел Павлович |
|
|||||||||
Основные темы научной работы |
линейная логика, теория типов, гомотопическая теория типов, функциональное программирование, формальная верификация, дизайн языков программирования. |
|||||||||
 |
https://www.mathnet.ru/rus/person188496 | |||||||||
 |
Список публикаций на Google Scholar | |||||||||
 |
Список публикаций на ZentralBlatt | |||||||||
 |
https://orcid.org/0009-0001-6922-2870 | |||||||||
 |
https://www.webofscience.com/wos/author/record/IZP-7152-2023 | |||||||||
| Доклады и лекции в базе данных |
|
|||||||||
|
Обратная связь: |
Пользовательское соглашение
|
Регистрация посетителей портала |
Логотипы |
|