@inproceedings{zeilberger-2018-a, series={LICS ’18}, title={A theory of linear typings as flows on 3-valent graphs}, url={http://dx.doi.org/10.1145/3209108.3209121}, DOI={10.1145/3209108.3209121}, booktitle={Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Zeilberger, Noam}, year={2018}, month=July, pages={919–928}, collection={LICS ’18} }