Семинар по разработке с использованием типов на конференции ICFP 21

11-я Конференция по инновациям в теоретической информатике (ITCS) 2020

arXiv

arXiv

arXiv

Theory and Applications of Categories, Т. 33, № 3, 2018, С. 43–66.

Mathematical Structures in Computer Science

arXiv

arXiv

Международная конференция по интерактивному доказательству теорем (ITP)