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