Communication Dans Un Congrès
Année : 2021
Benoît Valiron : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03553872
Soumis le : jeudi 3 février 2022-09:11:59
Dernière modification le : vendredi 17 mai 2024-16:22:05
Dates et versions
Identifiants
- HAL Id : hal-03553872 , version 1
- ARXIV : 2109.05837
- DOI : 10.4204/EPTCS.351.2
Citer
Benoît Valiron, Kostia Chardonnet, Louis Lemonnier. Categorical Semantics of Reversible Pattern-Matching. Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩. ⟨hal-03553872⟩
Collections
61
Consultations
0
Téléchargements