Login / Signup

Comparing Session Type Systems derived from Linear Logic.

Bas van den HeuvelJorge A. Pérez
Published in: CoRR (2024)
Keyphrases
  • linear logic
  • computational complexity
  • random variables