4 search results - page 1 / 1 » rta 1999 |
RTA
1999
Springer
13 years 9 months ago
1999
Springer
RTA
1999
Springer
13 years 9 months ago
1999
Springer
RTA
1999
Springer
13 years 9 months ago
1999
Springer
RTA
1999
Springer
13 years 9 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...