Λの操作的意味論 (2) 自然意味論（型付ラムダ計算 第13回 プログラミング言語の基礎理論シリーズ）
Why it's on BrighterTube
Editorial review · 85% confidenceNew channel 大堀淳の計算機科学チャネル: title sample judged 'whole' (A university professor's channel of full, rigorous computer science lectures (compilers, programming language theory, da); passed a second screen for sellers/exam-prep/re-uploads; 3 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.
What you'll learn
A 28-minute video from 大堀淳の計算機科学チャネル: “Λの操作的意味論 (2) 自然意味論（型付ラムダ計算 第13回 プログラミング言語の基礎理論シリーズ）”.
Video by 大堀淳の計算機科学チャネル, played through YouTube's embedded player.