我给了一个主题演讲“作为计算的派生”在2019年ICFP.
Mike Shulman刚刚写了一篇非常好的关于什么是正式证据的博客帖子我非常同意他所说的，但我想提出我自己的观点。我开始写它作为对迈克帖子的评论，然后意识到它太长了，我也想把它单独录制下来。请先阅读迈克的博客帖子。
我将在2016年分类逻辑和单价基础研讨会在英国利兹。这是一个很有魅力的工作坊，我正在进行大量的工作。这里是我演讲的幻灯片，还有发言者的笔记，以及我计划讲述的仙女座的例子。