Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (XXXI) -- Lecture 3 on the Introduction to Categorical Logic
講 者: 濱野正浩 教授 (中央研究院資訊科學研究所)
時 間: 2017-01-20 (Fri) 15:30 – 17:30
地 點: 資訊所新館107演講廳
邀請人: 廖純中
摘要: