zeilberger-2018-a:
  type: article
  title: A theory of linear typings as flows on 3-valent graphs
  author: Zeilberger, Noam
  date: 2018-07
  page-range: 919-928
  serial-number:
    doi: 10.1145/3209108.3209121
  parent:
    type: proceedings
    title: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM