message theories cornerings References. The Logic of Message Passing (Cockett, Pastro) https://github.com/campl-ucalgary/campl