124
click to vote
LICS
2006
IEEE
16 years 4 days ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see