文献

J-GLOBAL ID：201102295243305853   整理番号：11A0251818

二次古典的自然演繹法(Vol.68,p.851,(2003))のためのCPS変換を用いた強い正規性証明

Strong normalization proof with CPS-translation for second order classical natural deduction (vol 68, pg 851, 2003)

著者 (2件)： NAKAZAWA K ,  TATSUTA M
資料名： JOURNAL OF SYMBOLIC LOGIC
巻： 68  号： 4  ページ： 1415-1416  発行年： 2003年 
JST資料番号： O4155A  ISSN： 0022-4812  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 演繹法 ,  証明