立木 秀樹 | 慶應義塾大学環境情報学部

スポンサーリンク

概要

• 同名の論文著者
• 慶應義塾大学環境情報学部の論文著者

関連著者

• 立木 秀樹

  慶應義塾大学環境情報学部

著作論文

• 多重定義と部分型が存在する計算の強正規性と型保存性について
• 型変換とマージ・オペレータのopfibrationによる意味づけ
• マージオペレータを持つレコード計算
• 型継承および高階な総称関数の表示的意味論

スポンサーリンク