柯向上
Ko, Hsiang-Shang・資訊學院・資訊科學與工程研究所
碩士平均畢業時長
4.01 年
中位數 4.01 年・1 人
收錄論文
1 篇
113–113 學年度
全校中位數（供對照）
碩士 2.10 年
畢業時長趨勢
每學年度畢業人數
只計入有論文收錄的畢業生；中途休學或更換指導教授的學生不會出現在這裡。
研究關鍵字
子結構型別系統Lambda 演算Substructural type systemLambda calculus
想看最新的研究方向與計畫經費，也可以查政府研究計畫（GRB）。
指導論文
| 學年度 | 論文 | 學制 | 入學 | 提交日期 | 畢業時長 |
|---|---|---|---|---|---|
| 113 | A Partial Linear Algebraic Approach to Linear Metatheory 資訊科學與工程研究所・共同指導：陳穎平 子結構型別系統、Lambda 演算、Substructural type system、Lambda calculus | 碩士 | 110 | 2025-08-05 | 4.01 年 |