A theory of linear typings as flows on 3-valent graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Dates et versions

hal-03132231 , version 1 (04-02-2021)

Identifiants

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⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More