[logic-ml] infinitary first-order categorical logic
logic
logic at math.tsukuba.ac.jp
Sun Jul 26 20:13:21 JST 2020
ちょっと面白い論文をreviewしたので
ご案内しておきます。
https://zbmath.org/?q=an%3A06986590
にしむら
https://www.researchgate.net/profile/Hirokazu_Nishimura
More information about the Logic-ml
mailing list