Chuangjie Xu: A Gentzen-style monadic translation of Goedel's System T (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

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