Une Nouvelle C beta-Réduction dans la Logique Combinatoire

Mohamed Mezghiche. Une Nouvelle C beta-Réduction dans la Logique Combinatoire. Theoretical Computer Science, 31:151-163, 1984.

Abstract

Abstract is missing.