#LinearLogic - Twitter Hashtag

almost 4 years ago

@xkcd I actually hate it when there are multiple references in a text that point to the same footnote at the bottom of the page. It doesn't happen often, but it happens. One reference, one footnote, that's my motto. #linearlogic

3

0

Endeavor54🦇🔊 ⚔️🏈🦸

@OUTTA_FOCUS

over 4 years ago

#LinearLogic > #CircularLogic. Linear thinkers tend to get consistent results. 🤔

0

1

0

Logic & Applications @LogicPractice

over 4 years ago

Sequent calculus cheat sheet https://t.co/hPGMRT7G5a #linearlogic

2

10

2

0

Papers We Love (@[email protected]) @papers_we_love

over 7 years ago

A Universal Session Type for Untyped Asynchronous Communication - Balzer, Pfenning, Toninho https://t.co/Al9B7dSksW #logic #linearlogic #computation #compsci

papers_we_love's tweet photo. A Universal Session Type for Untyped Asynchronous Communication - Balzer, Pfenning, Toninho https://t.co/Al9B7dSksW

#logic #linearlogic #computation #compsci https://t.co/VORsH9nkrh

0

5

1

0

Statebox @statebox

about 8 years ago

Stefano photobombing a huge discovery!!! Stay tuned! #linearlogic #petrinets #statebox

0

2

0

Oleg Grenrus @phadej

about 8 years ago

I should be in bed, my mind disagrees. I realized that & and ⊕ _almost_ form a Boolean algebra in #ncill (and also #linearlogic). The "almost" part is /interesting/. https://t.co/TUIVqag6pK