Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 2 years ago
Ushitora Anqou anqou@mstdn.anqou.net
main.dvi - main.pdf https://hal.archives-ouvertes.fr/hal-01325644v1/document
読んでる。Def 4.1 がそれっぽい。無限の話は多分飛ばして良くて、intersection と言っているのは /\ のことっぽい。semantics は Fig 2 か。\/ の定義が本質的だが、かなり込み入っている。