2010-07-31 [長年日記]
λ. CLTT の 1.3 Some general examples のノート
CLTT読書会で読んでいる Categorical Logic and Type Theory の、1.3 Some general examples を復習して、練習問題も一通り解いた。
CLTT読書会で読んでいる Categorical Logic and Type Theory の、1.3 Some general examples を復習して、練習問題も一通り解いた。