[logic-ml] quantum lambda calculus

logic logic at math.tsukuba.ac.jp
Sun Nov 6 02:50:24 JST 2022


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


https://zbmath.org/pdf/07603237.pdf


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



More information about the Logic-ml mailing list