Berezun Daniil Andreevich

Publications in Math-Net.Ru

1. Overview of the languages for safe smart contract programming
   
   Proceedings of ISP RAS, 31:3 (2019),  157–176
2. Complete head linear reduction
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017),  59–82