@misc{indiciae41e071807511,
  title = {Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)},
  author = {Alexander V. Gheorghiu and Tao Gu and David J. Pym},
  year = {2024},
  url = {https://arxiv.org/abs/2306.05106},
  note = {Source identifier: 2306.05106}
}