浜名 誠 | 群馬大学情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 群馬大学情報工学科の論文著者

関連著者

• 浜名 誠

  群馬大学工学研究科

• 浜名 誠

  群馬大学情報工学科

著作論文

• 高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
• Σモノイド : メタ変数と明示的環境を持つ高階構文(サイバー増大ページ論文概要,サイバー増大号)

スポンサーリンク