種別[hbm] セクションJRF の公開ブックマーク 日時2011年01月20日 20:18:33 元URLhttp://portal.acm.org/citation.cfm?id=96714 タグ[論理学] [型理論] A formulae-as-type notion of control