Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculas with bottom

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文

著者

• Tanaka Yoshihito

  School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku

関連論文

• Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculas with bottom

スポンサーリンク