Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 개의 HN 추천
동영상 Q&A
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 토론 읽기 ↗