[logic-ml] calculus of construction

logic logic at math.tsukuba.ac.jp
Thu Jul 23 05:08:04 JST 2020

Previous message: [logic-ml] comparing material and structural set theories
Next message: [logic-ml] infinitary first-order categorical logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

ちょっと面白い論文をreviewしたので
ご案内しておきます。

https://zbmath.org/?q=an%3A07189165


にしむら
https://www.researchgate.net/profile/Hirokazu_Nishimura

Previous message: [logic-ml] comparing material and structural set theories
Next message: [logic-ml] infinitary first-order categorical logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list