morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Analyze how situational logic and topology via constructive logic intertwines

Open prathyvsh opened this issue 4 years ago • 0 comments

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

prathyvsh avatar Dec 21 '20 19:12 prathyvsh