プログラム意味論と圏論 （4年：数理科学特論10）（院：数理科学特別講義）
開催期間
2008.6.2(月)
15:00 ~ 2008.6.6(金)
15:00 ~ 2008.6.6(金)
場所
箱崎キャンパス 理学部3号館 33号03室
講演者
長谷川 真人 (京都大学)
概要
プログラム意味論と圏論 （4年：数理科学特論10）（院：数理科学特別講義）
集中講義
プログラム意味論と圏論 （4年：数理科学特論10）（院：数理科学特別講義）