Создать обращение в службу поддержки пользователей
Обращение успешно создано! Ему присвоен номер 0.
На адрес Вашей электронной почты отправлено письмо о регистрации обращения. Вы можете ответить на него, если хотите предоставить дополнительную информацию или прикрепить файлы.
Произошла ошибка при создании обращения. Попробуйте перезагрузить страницу и заново создать обращение.

Подтверждение выхода

Вы действительно хотите завершить сессию?
ИСТИНА ИСТИНА
Войти в систему
Регистрация
  • Область интересов
  • Публикации
  • НИР и НИОКР
  • Доклады
  • Учебная работа
  • Инновации
  • Прочее
  • Все результаты
Удаление сотрудника
Вы действительно хотите удалить сотрудника?
Удалить
Рогозин Даниил Дмитриевич
Рогозин Даниил Дмитриевич
IstinaResearcherID (IRID): 204178447
Доклады на научных конференциях Выступления в СМИ
–

Доклады на научных конференциях

    • 2020 Canonical extensions for the distributive full Lambek calculus with modal operators (Устный)
    • Автор: Rogozin Daniel
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
    • 2019 Разработка, основанная на типах в numeric Haskell: подходы и проблемы. (Устный)
    • Авторы: Стрюнгис Ринат Фатекович, Рогозин Даниил Дмитриевич
    • FPure-2019, Казань, Россия, 24-25 мая 2019

Выступления в СМИ

    • 24 мая 2019 г. Dimensions and Haskell: Introduction (Блог компании Serokell)
    • Авторы (участники): Стрюнгис Ринат Фатекович, Рогозин Даниил Дмитриевич

ИСТИНА ФИЦ ПХФ и МХ РАН
© 2011-2025 Лаборатория 404. НИИ механики МГУ.
Правила пользования
Помощь
Создать обращение Обратная связь