ファジィな性質を表現するための型理論に関する発表 (@ LENLS 19)

以下の発表が LENLS 19 に採択されました。

  • Youyou Cong. In Search of a Type Theory for Fuzzy Properties.
2022-11-19.
→
←