4 search results - page 1 / 1 » rta 1999 |
144
Voted
RTA
1999
Springer
15 years 10 months ago
1999
Springer
126
Voted
RTA
1999
Springer
15 years 10 months ago
1999
Springer
154
Voted
RTA
1999
Springer
15 years 10 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...