Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 6 years ago
Alice alice
TaPL はあまりカリーハワード同型とか詳しくやらない(記号論理の方向にあまり行かない)ので、萩谷,西崎 『論理と計算の仕組み』などがいいんじゃないだろうか