Multiparty session types as coherence proofs

Overview of attention for article published in Acta Informatica, November 2016

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 1 X users, with an upper bound of 629 followers.

@glmxndr @rwolffoot Right, but it can be generalised. See https://t.co/DACXAoPP2P and https://t.co/lB4pssGHYa It works. Please don't look at the usage of tensor for typing many-to-one input, it works but it doesn't feel very right anymore (we use tensor f

Full version of #CurryHoward Multiparty Sessions <-> Linear Logic is out. Journal: https://t.co/o4L27GgmaE Preprint: https://t.co/IzW5MUTNkU