Mario Román

❯

❯

Linear logic

Apr 12, 20231 min read

Categorical Semantics of Linear Logic (Melliès) - https://www.irif.fr/~mellies/papers/panorama.pdf

Graph View

Backlinks

Chu interpretation of linear logic

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID