论文信息 - Strong normalization proof with CPS-translation for second order classical natural deduction - 字舞流文

Strong normalization proof with CPS-translation for second order classical natural deduction

Makoto Tatsuta | Koji Nakazawa

[1] Michel Parigot,et al. Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction , 1992, LPAR.

[2] Koji Nakazawa. Confluency and strong normalizability of call-by-value lambda-µ-calculus , 2003, Theor. Comput. Sci..

[3] Gordon D. Plotkin,et al. Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..

[4] Ken-etsu Fujita,et al. Domain-Free ??-Calculus , 2000 .