論文relation
外山 芳人 | 電電公社・武蔵野通研
スポンサーリンク
概要
同名の論文著者
電電公社・武蔵野通研の論文著者
関連著者
外山 芳人
東北大学
外山 芳人
電電公社・武蔵野通研
著作論文
H.P.Barendregt 著, "The Lambda Calculus its Syntax and Semantics", North-Holland, B5変形判, 615p., \27,000, 1981
81-16 合流リダクション : 抽象的な性質と項書き換えシステムへの応用
スポンサーリンク
論文relation | CiNii API
論文
論文著者
博士論文
研究課題
研究者
図書
論文
著者
お問い合わせ
プライバシー