![](https://squidex.jugru.team/api/assets/srm/6a0fadca-6fec-4ee5-994a-78cb49ad4bcf/soshnikov.jpeg?cache=3600&width=74&height=74&mode=CropUpsize)
Dmitry Soshnikov
Company: MAI / NRU HSE
Talk type: Talk
Dmitry will talk about formal basics of functional programming and two mathematical theories underlying this approach: lambda-calculus and category theory. Examples in the talk will be in F# language.
Company: MAI / NRU HSE