[kisoron-ml] unityped, simply typed, and dependently typed

logic logic at math.tsukuba.ac.jp
Fri Jan 28 03:02:25 JST 2022

Previous message (by thread): [kisoron-ml] noncommutative logic
Next message (by thread): [kisoron-ml] injective types in univalent mathematics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

https://zbmath.org/pdf/07440906.pdf


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

Previous message (by thread): [kisoron-ml] noncommutative logic
Next message (by thread): [kisoron-ml] injective types in univalent mathematics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Kisoron-ml mailing list