[logic-ml] Martin-Lof type theory with the univalent axiom

logic logic at math.tsukuba.ac.jp
Sun May 2 08:14:23 JST 2021


次の論文をreviewしましたので、
ご案内しておきます。

https://zbmath.org/pdf/07333619.pdf


にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=5fht6JLGxiQ&list=RDGMEM8h-ASY4B42jYeBhBnqb3-w&index=1



More information about the Logic-ml mailing list