The Azimuth Project
Linear logic


  • Michael Shulman, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Theory and Applications of Categories, Vol. 35, 2020, No. 4, pp 89-136. TAC

  • Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso, The Bang Calculus Revisited, 2020. arXiv:2002.04011

  • Klaas Pruiksma, Frank Pfenning, Back to futures, 2020. arXiv:2002.04607