{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:53:57Z","timestamp":1781855637670,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209121","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T08:14:43Z","timestamp":1530087283000},"page":"919-928","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A theory of linear typings as flows on 3-valent graphs"],"prefix":"10.1145","author":[{"given":"Noam","family":"Zeilberger","sequence":"first","affiliation":[{"name":"School of Computer Science, University of Birmingham, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1256049011"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218216512501374"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.01.008"},{"key":"e_1_3_2_1_4_1","volume-title":"Braided skew monoidal categories. (Dec","author":"Bourke John","year":"2017","unstructured":"John Bourke and Stephen Lack. 2017. Braided skew monoidal categories. (Dec. 2017). arXiv:1712.0827."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.25088\/ComplexSystems.22.4.311"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"e_1_3_2_1_7_1","volume-title":"Connected chord diagrams and bridgeless maps. (Oct","author":"Courtiel Julien","year":"2017","unstructured":"Julien Courtiel, Karen Yeats, and Noam Zeilberger. 2017. Connected chord diagrams and bridgeless maps. (Oct. 2017). arXiv:1611.04611."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700008236"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00309-0"},{"key":"e_1_3_2_1_10_1","unstructured":"Stephen Dolan. 2016. Algebraic Subtyping. PhD Thesis. University of Cambridge."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500582"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Conference on Categorical Algebra. Springer-Verlag, 421--562","author":"Eilenberg Samuel","unstructured":"Samuel Eilenberg and G. Max Kelly. 1966. Closed categories. In Proceedings of the Conference on Categorical Algebra. Springer-Verlag, 421--562."},{"key":"e_1_3_2_1_13_1","volume-title":"Number 70 in Progress in Mathematical Physics","author":"Eynard Bertrand","unstructured":"Bertrand Eynard. 2016. Counting Surfaces. Number 70 in Progress in Mathematical Physics. Birkh\u00e4user."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_15_1","first-page":"1382","article-title":"Formal Proof---The Four Color Theorem","volume":"55","author":"Gonthier Georges","year":"2008","unstructured":"Georges Gonthier. 2008. Formal Proof---The Four Color Theorem. Notices of the AMS 55, 11 (2008), 1382--1393.","journal-title":"Notices of the AMS"},{"key":"e_1_3_2_1_16_1","volume-title":"A Tutte polynomial for maps. Combinatorics, Probability and Computing","author":"Goodall Andrew","year":"2018","unstructured":"Andrew Goodall, Thomas Krajewski, Guus Regts, and Llu\u00eds Vena. 2018. A Tutte polynomial for maps. Combinatorics, Probability and Computing (2018), to appear."},{"key":"e_1_3_2_1_17_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley J. Roger","year":"1969","unstructured":"J. Roger Hindley. 1969. The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. Soc. 146 (1969), 29--60.","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90100-X"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"J. Roger Hindley. 1997. Basic Simple Type Theory. CUP.","DOI":"10.5555\/265082"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/0210055"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000377"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(79)90057-1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-37.2.273"},{"key":"e_1_3_2_1_24_1","volume-title":"Jones and David Singerman","author":"Gareth","year":"1994","unstructured":"Gareth A. Jones and David Singerman. 1994. Maps, hypermaps, and triangle groups. In The Grothendieck Theory of Dessins d'Enfants, L. Schneps (Ed.). CUP."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(82)90077-9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(89)90049-8"},{"key":"e_1_3_2_1_27_1","volume-title":"Zvonkin","author":"Lando Sergei K.","year":"2004","unstructured":"Sergei K. Lando and Alexander K. Zvonkin. 2004. Graphs on Surfaces and Their Applications. Number 141 in Encyclopaedia of Mathematical Sciences. Springer."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm230-2-3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005131"},{"key":"e_1_3_2_1_30_1","volume-title":"Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs","author":"Markl Martin","unstructured":"Martin Markl, Steve Schnider, and Jim Stasheff. 2002. Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs, Vol. 96. AMS."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Paul-Andr\u00e9 Melli\u00e8s. 2018. Ribbon tensorial logic. (2018). This volume.","DOI":"10.1145\/3209108.3209129"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_33_1","unstructured":"Jean-Pierre Serre. 1980. Trees. Springer-Verlag. Translated from the French by John Stilwell."},{"key":"e_1_3_2_1_34_1","volume-title":"The On-Line Encyclopedia of Integer Sequences. (2018). Published electronically at https:\/\/oeis.org","author":"Sloane N.J. A.","unstructured":"N.J. A. Sloane. 2018. The On-Line Encyclopedia of Integer Sequences. (2018). Published electronically at https:\/\/oeis.org."},{"key":"e_1_3_2_1_35_1","unstructured":"Richard Statman. 1974. Structural complexity of proofs. PhD thesis. Stanford University."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2012.09.020"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2012.06.027"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0370164600044229"},{"issue":"1954","key":"e_1_3_2_1_39_1","first-page":"53","article-title":"Mono\u00efdes pr\u00e9ordonn\u00e9s et cha\u00eenes de Malcev. Th\u00e8se. Universit\u00e9 de Paris. Partially published","volume":"82","author":"Tamari Dov","year":"1951","unstructured":"Dov Tamari. 1951. Mono\u00efdes pr\u00e9ordonn\u00e9s et cha\u00eenes de Malcev. Th\u00e8se. Universit\u00e9 de Paris. Partially published in Bull. Soc. Math. France 82 (1954), 53--96.","journal-title":"Bull. Soc. Math. France"},{"key":"e_1_3_2_1_40_1","series-title":"Lecture Notes in Mathematics","volume-title":"A graphic theory of associativity and word-chain patterns","author":"Tamari Dov","unstructured":"Dov Tamari. 1982. A graphic theory of associativity and word-chain patterns. In Combinatorial Theory, A. Dold and B. Eckmann (Eds.). Lecture Notes in Mathematics, Vol. 969. Springer, 302--320."},{"key":"e_1_3_2_1_41_1","first-page":"848","article-title":"An Update on the Four-Color Theorem","volume":"45","author":"Thomas Robin","year":"1998","unstructured":"Robin Thomas. 1998. An Update on the Four-Color Theorem. Notices of the American Mathematical Society 45, 7 (1998), 848--859.","journal-title":"Notices of the American Mathematical Society"},{"key":"e_1_3_2_1_42_1","volume-title":"Geometry & Topology Monographs. Invariants of knots and 3-manifolds (Kyoto","author":"Thurston Dylan P.","year":"2001","unstructured":"Dylan P. Thurston. 2004. The algebra of knotted trivalent graphs and Turaev's shadow world. In Geometry & Topology Monographs. Invariants of knots and 3-manifolds (Kyoto 2001), Vol. 4. 337--362."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-21.2.98"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1954-010-9"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1962-032-x"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1962-002-9"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1963-029-x"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-9800(66)80004-2"},{"key":"e_1_3_2_1_49_1","volume-title":"Graph Theory. Encyclopedia of Mathematics and its Applications","author":"Tutte W. T.","unstructured":"W. T. Tutte. 1984. Graph Theory. Encyclopedia of Mathematics and its Applications, Vol. 21. Addison-Wesley."},{"key":"e_1_3_2_1_50_1","volume-title":"Graph Theory as I Have Known it","author":"Tutte W. T.","unstructured":"W. T. Tutte. 1998. Graph Theory as I Have Known it. Oxford."},{"key":"e_1_3_2_1_51_1","unstructured":"Samuel Vidal. 2010. Groupe Modulaire et Cartes Combinatoires: G\u00e9n\u00e9ration et Comptage. PhD thesis. Universit\u00e9 Lille I France."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274953"},{"key":"e_1_3_2_1_53_1","unstructured":"Noam Zeilberger. 2015. Counting isomorphism classes of \u03b2-normal linear lambda terms. (2015). arXiv:1509.07596."},{"key":"e_1_3_2_1_54_1","volume-title":"Article e21","author":"Zeilberger Noam","year":"2016","unstructured":"Noam Zeilberger. 2016. Linear lambda terms as invariants of rooted trivalent maps. J. Functional Programming 26, Article e21 (2016), 20 pages."},{"key":"e_1_3_2_1_55_1","volume-title":"Formal Structures for Computation and Deduction (FSCD","author":"Zeilberger Noam","year":"2017","unstructured":"Noam Zeilberger. 2017. A sequent calculus for a semi-associative law. In Formal Structures for Computation and Deduction (FSCD 2017). 33:1--33:16."},{"key":"e_1_3_2_1_56_1","volume-title":"A correspondence between rooted planar maps and normal planar lambda terms. Logical Methods in Computer Science 11, 3:22","author":"Zeilberger Noam","year":"2015","unstructured":"Noam Zeilberger and Alain Giorgetti. 2015. A correspondence between rooted planar maps and normal planar lambda terms. Logical Methods in Computer Science 11, 3:22 (2015), 1--39."}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Oxford United Kingdom","acronym":"LICS '18","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE-CS\\DATC IEEE Computer Society","EACSL European Association for Computer Science Logic"]},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209121","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:30:40Z","timestamp":1781854240000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":56,"alternative-id":["10.1145\/3209108.3209121","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209121","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}