{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:52Z","timestamp":1750221232428,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"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-27T12:14:43Z","timestamp":1530101683000},"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"}]}],"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. 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. 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.  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"},{"volume-title":"Proceedings of the Conference on Categorical Algebra. Springer-Verlag, 421--562","author":"Eilenberg Samuel","key":"e_1_3_2_1_12_1","unstructured":"Samuel Eilenberg and G. Max Kelly . 1966. Closed categories . In Proceedings of the Conference on Categorical Algebra. Springer-Verlag, 421--562 . Samuel Eilenberg and G. Max Kelly. 1966. Closed categories. In Proceedings of the Conference on Categorical Algebra. Springer-Verlag, 421--562."},{"volume-title":"Number 70 in Progress in Mathematical Physics","author":"Eynard Bertrand","key":"e_1_3_2_1_13_1","unstructured":"Bertrand Eynard . 2016. Counting Surfaces . Number 70 in Progress in Mathematical Physics . Birkh\u00e4user . 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 . 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. 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 . 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":"crossref","unstructured":"J. Roger Hindley. 1997. Basic Simple Type Theory. CUP.   J. Roger Hindley. 1997. Basic Simple Type Theory. CUP.","DOI":"10.1017\/CBO9780511608865"},{"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. 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 . 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"},{"volume-title":"Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs","author":"Markl Martin","key":"e_1_3_2_1_30_1","unstructured":"Martin Markl , Steve Schnider , and Jim Stasheff . 2002. Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs , Vol. 96 . AMS. 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.  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.  Jean-Pierre Serre. 1980. Trees. Springer-Verlag. Translated from the French by John Stilwell."},{"volume-title":"The On-Line Encyclopedia of Integer Sequences. (2018). Published electronically at https:\/\/oeis.org","author":"Sloane N.J. A.","key":"e_1_3_2_1_34_1","unstructured":"N.J. A. Sloane . 2018. The On-Line Encyclopedia of Integer Sequences. (2018). Published electronically at https:\/\/oeis.org . 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_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 . 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. 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 . 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. 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"},{"volume-title":"Graph Theory. Encyclopedia of Mathematics and its Applications","author":"Tutte W. T.","key":"e_1_3_2_1_49_1","unstructured":"W. T. Tutte . 1984. Graph Theory. Encyclopedia of Mathematics and its Applications , Vol. 21 . Addison-Wesley . W. T. Tutte. 1984. Graph Theory. Encyclopedia of Mathematics and its Applications, Vol. 21. Addison-Wesley."},{"volume-title":"Graph Theory as I Have Known it","author":"Tutte W. T.","key":"e_1_3_2_1_50_1","unstructured":"W. T. Tutte . 1998. Graph Theory as I Have Known it . Oxford . W. T. Tutte. 1998. Graph Theory as I Have Known it. Oxford."},{"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.  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. 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. 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. 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","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Oxford United Kingdom","acronym":"LICS '18"},"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":[[2025,6,18]],"date-time":"2025-06-18T02:07:07Z","timestamp":1750212427000},"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":54,"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":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}