Prathyush

Call by Push Value by Paul Blain Levy Duality between Call by Value and Call by Name: https://homepages.inf.ed.ac.uk/wadler/papers/dual/dual.pdf

Investigate the link between CPS, Peirce’s Law, Intuitionistic Logic, and Classical Logic

6

A brief of the idea I glimpsed is that using Peirce’s law you can translate classical proofs into intuitionistic ones by Continuation Passing Style. References: https://www.cs.uoregon.edu/research/summerschool/summer02/lectures/classical_read.ps https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.1334&rep=rep1&type=pdf

Non-associative structures which have composition, and identity are apparently called deductive systems. They are documented nicely here: http://elib.mi.sanu.ac.rs/files/journals/publ/84/n078p021.pdf

https://www.cs.ox.ac.uk/publications/publication8102-abstract.html

Data Processes | Procedures Data generates processes that consume and regenerate data Programs Algorithms Encoding: Programs are encoding of processes that invoke procedures on data Problem / Solution Space Properties...

What is the connection between Von Neumann Algebras and Jones Polynomials? How does C-* algebras figure in here? What is the connection between C-* algebras and computation? Von Neumann algebras...

People at Birmingham university seems to be doing great work here: 1/ https://www.cs.bham.ac.uk/~sjv/tvcl.ps 2/ https://www.cs.bham.ac.uk/~mhe/papers/pittsburgh.pdf

Find out the details of how topology and topos theory influenced our understanding of computational structures. Might need to finish reading the work of Leo Corry for documenting this.

http://www.dtubbenhauer.com/