再帰的データ型の意味論（型付ラムダ計算拡張 第６回．プログラミング言語の基礎理論シリーズ （第3章））

New 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.