Communication Dans Un Congrès
Année : 2018
Noam Zeilberger : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03132231
Soumis le : jeudi 4 février 2021-21:33:29
Dernière modification le : vendredi 24 mars 2023-14:53:20
Dates et versions
Identifiants
- HAL Id : hal-03132231 , version 1
- ARXIV : 1804.10540
- DOI : 10.1145/3209108.3209121
Citer
Noam Zeilberger. A theory of linear typings as flows on 3-valent graphs. LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford United Kingdom, France. pp.919-928, ⟨10.1145/3209108.3209121⟩. ⟨hal-03132231⟩
Collections
20
Consultations
0
Téléchargements