Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
Por que o HN recomenda: Recommended as an exceptional whirlwind tour of the foundations of computer science.
“This is a very good lecture series[4].” Ler no HN ↗