• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Campus inMoscow
For visually-impaired
Advanced search
Menu
HSE University

Advanced search
Сampus
By сategory
By staff positions
reset filters

Scientific Interests: «type theory»Units

Name and Position
Contacts
23247
Ayupov, Ramazan

Research Assistant: International Laboratory for Logic, Linguistics and Formal Philosophy

mathematical logicnon-classical logicsmodal logicproof theorytype theorylogical semanticsphilosophy of mathematicsphilosophy of language
(812) 644-59-11 доб. 61578
Moskvin, Denis

Lecturer: Centre for Training Top AI Professionals
Associate Professor: HSE Campus in St. Petersburg / School of Computer Science, Physics and Technology / Department of Informatics

functional programmingtype theory
HSE University → About HSE → Faculty and Staff
Edit
© HSE 1993–2021  Contacts  Copyright  Privacy Policy  Site Map 

HSE Sans and HSE Slab fonts developed by the HSE Art and Design School