{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T00:19:58Z","timestamp":1759191598921,"version":"3.44.0"},"reference-count":26,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.429.7","type":"journal-article","created":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T19:20:49Z","timestamp":1758568849000},"page":"130-145","source":"Crossref","is-referenced-by-count":0,"title":["Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)"],"prefix":"10.4204","volume":"429","author":[{"given":"Alexis","family":"Toumi","sequence":"first","affiliation":[{"name":"Quantinuum"}]},{"given":"Giovanni","family":"de Felice","sequence":"additional","affiliation":[{"name":"Quantinuum"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"AbramskyTzevelekos11","article-title":"Introduction to Categories and Categorical Logic","volume":"abs\/1102.1313","author":"Abramsky","year":"2011","journal-title":"CoRR"},{"key":"BosEtAl04","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.3115\/1220355.1220535","article-title":"Wide-Coverage Semantic Representations from a CCG Parser","volume-title":"COLING 2004: Proceedings of the 20th International Conference on Computational Linguistics","author":"Bos","year":"2004"},{"issue":"6","key":"ChiribellaEtAl08","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.101.060401","article-title":"Quantum Circuit Architecture","volume":"101","author":"Chiribella","year":"2008","journal-title":"Phys. Rev. Lett."},{"key":"ClarkEtAl08","first-page":"133","article-title":"A Compositional Distributional Model of Meaning","volume-title":"Proceedings of the Second Symposium on Quantum Interaction (QI-2008)","author":"Clark","year":"2008"},{"key":"ClarkEtAl10","series-title":"Linguistic Analysis","first-page":"345","article-title":"Mathematical Foundations for a Compositional Distributional Model of Meaning","volume-title":"A Festschrift for Jim Lambek","volume":"36","author":"Clark","year":"2010"},{"key":"Coecke21","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-030-66545-6_6","article-title":"The Mathematics of Text Structure","volume-title":"Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics","author":"Coecke","year":"2021"},{"key":"CoeckeEtAl20","article-title":"Foundations for Near-Term Quantum Natural Language Processing","author":"Coecke","year":"2020","journal-title":"ArXiv e-prints"},{"issue":"11","key":"CoeckeEtAl13","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.apal.2013.05.009","article-title":"Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus","volume":"164","author":"Coecke","year":"2013","journal-title":"Ann. Pure Appl. Log."},{"volume-title":"Categorical Tools for Natural Language Processing","year":"2022","author":"de Felice","key":"DeFelice22"},{"key":"DeFeliceEtAl20","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.333.13","article-title":"DisCoPy: Monoidal Categories in Python","volume-title":"Proceedings of the 3rd Annual International Applied Category Theory Conference, ACT","volume":"333","author":"de Felice","year":"2020"},{"key":"FeliceEtAl20","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"311","DOI":"10.4204\/EPTCS.333.21","article-title":"Functorial Language Games for Question Answering","volume-title":"Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020","volume":"333","author":"de Felice","year":"2020"},{"key":"FeliceEtAl19","series-title":"EPTCS","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.323.6","article-title":"Functorial Question Answering","volume-title":"Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK","volume":"323","author":"de Felice","year":"2019"},{"key":"HaydonSobocinski20a","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-030-54249-8_32","article-title":"Compositional Diagrammatic First-Order Logic","volume-title":"Diagrammatic Representation and Inference","author":"Haydon","year":"2020"},{"key":"HeffordComfort23","doi-asserted-by":"publisher","first-page":"63","DOI":"10.4204\/EPTCS.380.4","article-title":"Coend Optics for Quantum Combs","volume":"380","author":"Hefford","year":"2023","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"Lambek88","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","article-title":"Categorial and Categorical Grammars","volume-title":"Categorial Grammars and Natural Language Structures","author":"Lambek","year":"1988"},{"issue":"3","key":"Lambek58","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","article-title":"The Mathematics of Sentence Structure","volume":"65","author":"Lambek","year":"1958","journal-title":"The American Mathematical Monthly"},{"key":"LiuEtAl23","article-title":"Discourse Text Circuits From CCG: A Pipeline","author":"Liu","year":"2023","journal-title":"to appear"},{"issue":"3","key":"Montague70a","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal Grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"issue":"4","key":"Peirce06","doi-asserted-by":"publisher","first-page":"492","DOI":"10.5840\/monist190616436","article-title":"Prolegomena to an Apology of Pragmaticism","volume":"16","author":"Peirce","year":"1906","journal-title":"The Monist"},{"key":"PenroseRindler84","series-title":"Cambridge Monographs on Mathematical Physics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511564048","volume-title":"Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields","volume":"1","author":"Penrose","year":"1984"},{"key":"Roman20a","article-title":"Coend Calculus and Open Diagrams","author":"Rom\u00e1n","year":"2020","journal-title":"ArXiv e-prints"},{"key":"Selinger10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","article-title":"A Survey of Graphical Languages for Monoidal Categories","author":"Selinger","year":"2010","journal-title":"New Structures for Physics"},{"volume-title":"Category Theory for Quantum Natural Language Processing","year":"2022","author":"Toumi","key":"Toumi22"},{"key":"VanEijckUnger10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511778377","volume-title":"Computational Semantics with Functional Programming","author":"van Eijck","year":"2010"},{"key":"Yau18","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95001-3","volume-title":"Operads of Wiring Diagrams","volume":"2192","author":"Yau","year":"2018"},{"key":"YeungKartsaklis21","article-title":"A CCG-Based Version of the DisCoCat Framework","author":"Yeung","year":"2021","journal-title":"ArXiv e-prints"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T18:16:35Z","timestamp":1759169795000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2311.17813v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"references-count":26,"URL":"https:\/\/doi.org\/10.4204\/eptcs.429.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,25]]}}}