Art

J-GLOBAL ID：201102295243305853   Reference number：11A0251818

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

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

Author (2)： NAKAZAWA K ,  TATSUTA M
Material： JOURNAL OF SYMBOLIC LOGIC
Volume： 68  Issue： 4  Page： 1415-1416  Publication year： 2003 
JST Material Number： O4155A  ISSN： 0022-4812  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (2)： 演繹法 ,  証明