Prathyush

http://paultaylor.eu/slides/05-CCA-Kyoto2.pdf

https://www.cs.bham.ac.uk/~mhe/papers/entcs87.pdf

https://mathoverflow.net/questions/88368/can-a-group-be-a-universal-turing-machine

https://twitter.com/rob_rix/status/1320459382593884162?s=20

https://julesh.com/2020/08/15/probabilistic-programming-with-continuations/

https://pdfs.semanticscholar.org/591f/59c1168705d4c669cebc42f7f7dce69d5f90.pdf?_ga=2.250961350.1998523611.1602911161-1284050325.1602911161 

This looks like an intriguing paper on the link between topology and computation: https://arxiv.org/abs/1908.04264

What are the links with abstract interpretation? How is co-induction corresponding to greatest fixed point and induction corresponding to least fixed point figure in here? https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem

Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus

1

Really neat paper here: https://www.forskningsdatabasen.dk/en/catalog/2556781021 This is a good set of slides to go along with it: http://www2.compute.dtu.dk/~dibj/urbino-s.pdf

What is Stone duality for boolean algebra? What is Priestly duality? Does Heyting algebra have a similar representation? What about modal logic? How is it connected to model theory? How...