査読有り Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics accepted for publication in Springer LNCS. 丸山善宏 リンク情報 URLhttp://researchmap.jp/mu835c1u2-28320/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=46185&metadata_id=16302 エクスポート BibTeX RIS