message passing

Last updated Jan 8, 2025

• message theories
• cornerings

References.

• The Logic of Message Passing (Cockett, Pastro)
• https://github.com/campl-ucalgary/campl