[logic-ml] from constructive mathematics to computable...

logic logic at math.tsukuba.ac.jp
Sat Aug 14 20:08:12 JST 2021


下記のdissertaionをreviewしましたので、
御案内しておきます。

https://zbmath.org/pdf/1131.03303.pdf

にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=EXHbnsuQ0b8




More information about the Logic-ml mailing list