Search
❯
Jul 24, 20251 min read
Tags: Chu construction, Linear logic, Linear Logic for Constructive Mathematics (Shulman, 2018).