22 Oct
2022
22 Oct
'22
2:29 a.m.
次のdifferential linear logic関連の論文を２本 reviewしましたので、御案内しておきます。
https://zbmath.org/pdf/07348342.pdf https://zbmath.org/pdf/07283043.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ip5_CkML_Zk