《內類型理論》是依託上海交通大學，由傅育熙擔任項目負責人的面上項目。
基本介紹
- 中文名：內類型理論
- 項目類別：面上項目
- 項目負責人：傅育熙
- 依託單位：上海交通大學
- 批准號：69973030
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2000-01-01 至 2002-12-31
- 支持經費：10（萬元）
項目摘要
在申請人提出的邏輯框架的內可定義性基礎上提出並研究內容型理論。主要研究內容包括：內容型理論的元性質、高階多態演算的內可定義性、內容型理論的內邏輯刻劃、內容型理鄣撓鏌迥Ｐ汀１舊昵胂釒康難芯慷緣バ吐磯∨搗蚶嘈屠礪墼災實難芯坑兄匾羰隆⒂兄詿由畈憒紊俠斫飫嘈屠礪壑械囊恍┮贍鹽侍狻
