Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
HNで推薦される理由： Recommended as an exceptional whirlwind tour of the foundations of computer science.
“This is a very good lecture series[4].” HNのコメントを読む ↗