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

Review “The Mathematics of Programming” by Tony Hoare #49

Open prathyvsh opened 3 years ago

prathyvsh commented 3 years ago

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