Login
From:
ryanbrewer.dev
(Uncensored)
subscribe
Par Part 2: Linear Logic - Ryan Brewer
https://ryanbrewer.dev/posts/linear-logic/
links
backlinks
Linear logic is a beautiful logical system taking advantage of the mechanisms of the sequent calculus. In this post we explore the various meanings of linear logic, and dig deep into the reasoning behind its peculiar development.
Roast topics
Find topics
Find it!
