Prathyush

Eduardo seems to have bumped into many of the things, but with much more rigour and technical knowledge. His work needs to be looked closely. A good starting point seems...

Read Lawvere’s fixed point paper: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf https://cs.ru.nl/~dfrumin/pdf/diagonal_argument.pdf Yanofsky’s work: https://arxiv.org/pdf/math/0305282.pdf Brouwver’s fixed point theorem as a corollary of Lawvere’s fixed point theorem: https://arxiv.org/abs/2005.01563 Is Tarski’s fixed point theorem connected with...

- [Eugenio Moggi "A Category-theoretic account of program modules" ](http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=4BAE9CC823A13E9C037747DDE1F83404?doi=10.1.1.41.3812&rep=rep1&type=pdf) - [Varmo Vene "Categorical Programming with Inductive and Coinductive Types"](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.5948&rep=rep1&type=pdf) - [Martin Erwig "Categorical Programming with Abstract Data Types"](http://web.engr.oregonstate.edu/~erwig/papers/CategoricalADT_AMAST98.pdf) [-...

Kleene’s investigation is said to have unearthed the idea of rational languages, as seen in the intro for this book: https://amzn.to/3cyhBtO But dig deeper to see how it connects with...

https://golem.ph.utexas.edu/category/2018/02/linguistics_using_category_the.html

https://royalsocietypublishing.org/doi/full/10.1098/rstb.2019.0303

Ref: http://noamz.org/talks/logpolpro.pdf

Find this work out: Pippenger has applied Stone duality to relate regular languages and varieties of semigroups https://www8.cs.fau.de/wp-content/uploads/media/ws16/ober/stefan-slides.pdf Track work of J. Pin

Field of inquiry initiated by Patrick Cousot and Radhia Cousot. What were the precedents that lead to initiating the field?