Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions在 YouTube 播放 ↗
档案导读
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。