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

Analyze how situational logic and topology via constructive logic intertwines #44

Open prathyvsh opened 3 years ago

prathyvsh commented 3 years ago

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