Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube

Franco Barbanera, Maribel Fernndez, Herman Geuvers

Browse the full LICS paper archive.