次の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