Strong Normalization for All-Style LK.

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco

Browse the full TABLEAUX paper archive.