コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発行・発表の年月
1993
形態種別
研究発表ペーパー・要旨（全国大会，その他学術会議）
標題
モナド・様相とCurry-Howard原理
執筆形態
単著
掲載誌名
日本ソフトウエア科学会第10回大会論文集
掲載区分
国内
巻・号・頁
pp.225--228頁
著者・共著者
小林聡