高階線形論理における統語論と意味論の統一的分析
高階線形論理における統語論と意味論の統一的分析
高阶线性逻辑中语法和语义的统一分析
批准号：
97J05404
负责人：
浜野 正浩
金额：
$0.51万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論
-
批准号：14740068
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.15万
-
财政年份：2002
-
负责人：浜野 正浩
-
依托单位：
線形論理学における充満完全性定理の数学的展開
-
批准号：12740060
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$1.22万
-
财政年份：2000
-
负责人：浜野 正浩
-
依托单位：