Chu interpretation of linear logicLast updated Apr 23, 2024Tags: Chu construction, Linear logic, Linear Logic for Constructive Mathematics (Shulman, 2018).
