search

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.
https://patternatlas.com/
122 stars 6 forks source link

Examine this paper: On the Origins of Bisimulation and Coinduction #45

Open prathyvsh opened 3 years ago

prathyvsh commented 3 years ago

http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf

Discussion here: http://lambda-the-ultimate.org/node/2522

prathyvsh commented 3 years ago

Related work: https://dspace.mit.edu/handle/1721.1/64850 as it touches upon observational equivalence

prathyvsh commented 3 years ago

Idea of improvement: http://www.cse.chalmers.se/~dave/papers/cbneed-theory.pdf This can be thought of as bisimulation but with less resource usage.