Linear Logic (Stanford Encyclopedia of Philosophy) - discu.eu

Reddit

How to manipulate a linear logic formula? https://plato.stanford.edu/entries/logic-linear/#SeqCal 7 comments 22/10/2021 math

Linking pages

GitHub - faiface/par-lang: Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice. https://github.com/faiface/par-lang 23 comments
Libra: Politically Correct Review https://serokell.io/blog/libra-review 0 comments

Related searches:

Search whole site: site:plato.stanford.edu

Search title: Linear Logic (Stanford Encyclopedia of Philosophy)

See how to search.

Submit link to: