morphisms-of-computational-structures
morphisms-of-computational-structures copied to clipboard
Have a look at the idea of Polarity
Ref: http://noamz.org/talks/logpolpro.pdf