Towards Constructive Hybrid Semantics. - Tim Lukas Diezel; Sergey Goncharov 001 (FSCD, 2020)