{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T14:15:13Z","timestamp":1648649713468},"reference-count":13,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.333.24","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T22:45:56Z","timestamp":1611096356000},"page":"347-353","source":"Crossref","is-referenced-by-count":1,"title":["Products in a Category with Only One Object"],"prefix":"10.4204","volume":"333","author":[{"given":"Richard","family":"Statman","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]}],"member":"2720","published-online":{"date-parts":[[2021,2,8]]},"reference":[{"issue":"21","key":"backus78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09507-2_10","article-title":"Can programming be liberated from the von Neumann style?","volume":"21","author":"Backus","year":"1978","journal-title":"Communications of the ACM"},{"key":"birget09","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1016\/j.jpaa.2008.06.012","article-title":"Monoid generalization of the Richard Thompson groups","volume":"13","author":"Birget","year":"2009","journal-title":"Journal of Pure and Applied Algebra"},{"key":"freyd93","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0022-4049(93)90088-b","article-title":"Splitting homotopy idempotents II","volume":"89","author":"Freyd","year":"1993","journal-title":"Journal of Pure and Applied Algebra"},{"key":"ginsburg67","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/321386.321403","article-title":"One-way stack automata","volume":"14","author":"Ginsburg","year":"1967","journal-title":"Journal of the ACM"},{"key":"gray16","article-title":"Products in a category with one object","author":"Gray","year":"2016"},{"key":"jonsson61","doi-asserted-by":"publisher","first-page":"95","DOI":"10.7146\/math.scand.a-10627","article-title":"On two properties of free algebras","volume":"9","author":"Jonsson","year":"1961","journal-title":"Mathematica Scandinavica"},{"key":"lambek80","volume-title":"H. B. Curry, Essays in Combinatory Logic","author":"Lambek","year":"1980"},{"key":"rabin69","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2272788","article-title":"Decidability of second order theories and automata on finite trees","volume":"141","author":"Rabin","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"smirnov71","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/bf02217801","article-title":"Cantor algebras with one generator","volume":"10","author":"Smirnov","year":"1971","journal-title":"Algebra and Logic"},{"key":"statman92","first-page":"92","article-title":"Simply typed lambda calculus with surjective pairing","author":"Statman","year":"1992","journal-title":"CMU Department of Mathematics Research Report"},{"key":"statman96","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/3-540-63172-0_55","article-title":"On Cartesian monoids","volume":"1258","author":"Statman","year":"1996","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"thompson80","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/S0049-237X(08)71348-X","volume-title":"Word Problems","author":"Thompson","year":"1980"},{"key":"latorre07","doi-asserted-by":"publisher","DOI":"10.1109\/lics.2007.9","article-title":"A robust class of context sensitive languages","author":"Torre","year":"2007","journal-title":"Proceedings of 22nd IEEE Symposium on Logic in Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T03:25:20Z","timestamp":1612841120000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2101.10494v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.4204\/eptcs.333.24","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,8]]}}}