Institute of Information Science Academia Sinica
Topic: Applied Logics Seminar Series (XXXI) -- Lecture 3 on the Introduction to Categorical Logic
Speaker: Prof. Masahiro HAMANO (Institute of Information Science, Academia Sinica)
Date: 2017-01-20 (Fri) 15:30 – 17:30
Location: Auditorium 107 at IIS new Building
Host: Churn-Jung Liau

Abstract: