Article Dans Une Revue
Theoretical Computer Science
Année : 2004
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148839
Soumis le : mercredi 23 mai 2007-14:20:28
Dernière modification le : lundi 8 janvier 2024-09:44:03
Dates et versions
Identifiants
- HAL Id : hal-00148839 , version 1
Citer
Serenella Cerrito, Delia Kesner. Pattern matching as cut elimination. Theoretical Computer Science, 2004, 323 (1-3), pp.71--127. ⟨hal-00148839⟩
Collections
52
Consultations
0
Téléchargements