Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra.

Cheuk Ting Li

Browse the full ISIT paper archive.