Hacker News with Generative AI: Linear Logic

Par: Process language with an interactive playground for exploring concurrency (github.com/faiface)
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Programming Languages, Concurrency, Experimental Technology, Linear Logic
60 points by todsacerdoti 20 days ago | 4 comments
Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev)
This post is the first in a series on Logic. These ideas are very useful in understanding many important papers on programming language theory, especially papers on type theory and the lambda calculus. I will start with an explanation of sequents and Sequent Calculus as a system for doing logic, then I'll dive into linear logic in the next post. I'll finish the trilogy with a post on Par and computational interpretations of classical logic.
Logic, Programming Languages, Type Theory, Lambda Calculus, Linear Logic
38 points by hoping1 31 days ago | 10 comments