@article(backus78,
author = {J. Backus},
year = {1978},
title = {Can programming be liberated from the von Neumann style?},
journal = {Communications of the ACM},
volume = {21},
number = {21},
doi = {10.1007/978-3-662-09507-2_10},
)
@article(birget09,
author = {J.-C. Birget},
year = {2009},
title = {Monoid generalization of the {R}ichard {T}hompson groups},
journal = {Journal of Pure and Applied Algebra},
volume = {13},
pages = {264--278},
doi = {10.1016/j.jpaa.2008.06.012},
)
@article(freyd93,
author = {P. Freyd and A. Heller},
year = {1993},
title = {Splitting homotopy idempotents {II}},
journal = {Journal of Pure and Applied Algebra},
volume = {89},
pages = {93--195},
doi = {10.1016/0022-4049(93)90088-b},
)
@article(ginsburg67,
author = {S. Ginsburg and S. Greibach and M. Harrison},
year = {1967},
title = {One-way stack automata},
journal = {Journal of the ACM},
volume = {14},
pages = {389--418},
doi = {10.1145/321386.321403},
)
@article(gray16,
author = {A. Gray and K. Pardue},
year = {2016},
title = {Products in a category with one object},
note = {\href{http://arxiv.org/abs/1604.03999}{arXiv:1604.03999}},
)
@article(jonsson61,
author = {B. Jonsson and A. Tarski},
year = {1961},
title = {On two properties of free algebras},
journal = {Mathematica Scandinavica},
volume = {9},
pages = {95--101},
doi = {10.7146/math.scand.a-10627},
)
@inbook(lambek80,
author = {J. Lambek},
year = {1980},
title = {H. B. Curry, Essays in Combinatory Logic},
publisher = {Academic Press},
)
@article(rabin69,
author = {M. Rabin},
year = {1969},
title = {Decidability of second order theories and automata on finite trees},
journal = {Transactions of the American Mathematical Society},
volume = {141},
pages = {1--35},
doi = {10.2307/2272788},
)
@article(smirnov71,
author = {D. Smirnov},
year = {1971},
title = {Cantor algebras with one generator},
journal = {Algebra and Logic},
volume = {10},
pages = {40--49},
doi = {10.1007/bf02217801},
)
@article(statman92,
author = {R. Statman},
year = {1992},
title = {Simply typed lambda calculus with surjective pairing},
journal = {CMU Department of Mathematics Research Report},
pages = {92--164},
)
@article(statman96,
author = {R. Statman},
year = {1996},
title = {On {C}artesian monoids},
journal = {Springer Lecture Notes in Computer Science},
volume = {1258},
pages = {446--459},
doi = {10.1007/3-540-63172-0_55},
)
@inbook(thompson80,
author = {R. Thompson},
year = {1980},
title = {Word Problems},
chapter = {Embeddings into finitely generated simple groups which preserve the word problem},
pages = {401--444},
publisher = {North Holland},
doi = {10.1016/S0049-237X(08)71348-X},
)
@article(latorre07,
author = {S. La Torre and P. Manhusadan and G. Parlato},
year = {2007},
title = {A robust class of context sensitive languages},
journal = {{Proceedings of 22nd IEEE Symposium on Logic in Computer Science}},
doi = {10.1109/lics.2007.9},
)