[Paper] On the origins of Bisimulation, Coinduction, and Fixed Points. More on bisim. inside. - discu.eu

Reddit

[Paper] On the origins of Bisimulation, Coinduction, and Fixed Points. More on bisim. inside. http://www.cs.unibo.it/~sangio/doc_public/history_bis_coind.pdf 3 comments 24/3/2008 compsci

The history of bisimulation, coinduction, and fixed points :: PDF http://www.cs.unibo.it/~sangio/doc_public/history_bis_coind.pdf 2 comments 2/11/2007 programming

Lambda the Ultimate

On the origins of Bisimulation, Coinduction, and Fixed Points http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf 4 comments 3/11/2007 History , Theory

Linking pages

GitHub - prathyvsh/morphisms-of-computational-structures: A visual catalogue + story of morphisms displayed across computational structures. https://github.com/prathyvsh/morphisms-of-computational-structures 1 comment

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:www.cs.unibo.it

Search title: [Paper] On the origins of Bisimulation, Coinduction, and Fixed Points. More on bisim. inside.

See how to search.

Submit link to: