76
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see