Sergey Goncharov: Towards Constructive Hybrid Semantics (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Authors: Tim Lukas Diezel and Sergey Goncharov

Aired: 2020-02-02 14:30:00 CEST (UTC+2)