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 : jeudi 1 août 2024-17:08:02
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
24
Consultations
0
Téléchargements