Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 recomendaciones en HN
Preguntas sobre el video
Pide a la IA que explique esta escena o resuma el video completo. Si la respuesta incluye marcas de tiempo, selecciona una para ir al fragmento.
Prueba a preguntar: ¿Qué está explicando aquí la persona que habla?
Inicia sesión con Google. Consulta el costo máximo en 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 qué lo recomienda HN: Recommended as an exceptional whirlwind tour of the foundations of computer science.
“This is a very good lecture series[4].” Leer en HN ↗