外山 芳人 | 電電公社・武蔵野通研

スポンサーリンク

概要

• 同名の論文著者
• 電電公社・武蔵野通研の論文著者

関連著者

• 外山 芳人

  東北大学

• 外山 芳人

  電電公社・武蔵野通研

著作論文

• H.P.Barendregt 著, "The Lambda Calculus its Syntax and Semantics", North-Holland, B5変形判, 615p., \27,000, 1981
• 81-16 合流リダクション : 抽象的な性質と項書き換えシステムへの応用

スポンサーリンク