1冊
米国の計算機科学者。ペンシルベニア大学教授で、型理論の標準的教科書『型システム入門』を著した。
1件
当サイトは Amazon.co.jp アソシエイトおよび楽天アフィリエイトのプログラム参加者です。書籍ページの購入リンクから商品が購入された場合、当サイトが紹介料を受け取ることがあります。