Dusty Book Unlocks Linear Logic
18:48–19:28 · 40s
Twelve years after publication, Robert Seely realizes Barr and Chu’s forgotten framework perfectly fits Girard’s new linear logic—an academic resurrection moment.
18:48–19:28 · 40s
Twelve years after publication, Robert Seely realizes Barr and Chu’s forgotten framework perfectly fits Girard’s new linear logic—an academic resurrection moment.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.