Article Dans Une Revue
Journal of Logical and Algebraic Methods in Programming
Année : 2023
Jean Krivine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04620124
Soumis le : vendredi 21 juin 2024-12:51:45
Dernière modification le : dimanche 23 juin 2024-03:11:14
Citer
Nicolas Behr, Russ Harmer, Jean Krivine. Fundamentals of compositional rewriting theory. Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100893. ⟨10.1016/j.jlamp.2023.100893⟩. ⟨hal-04620124⟩
Collections
10
Consultations
0
Téléchargements