A message-passing interpretation of adjoint logic

Klaas Pruiksma, Frank Pfenning. A message-passing interpretation of adjoint logic. J. Log. Algebr. Meth. Program., 120:100637, 2021. [doi]

Abstract

Abstract is missing.