A Proof-theoretic Semantics for Intuitionistic Linear Logic
Preprint in arXiv (February 2024)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Preprint in arXiv (February 2024)
Article in Bulletin of the Section of Logic (August 2023)
Article in Bulletin of the Section of Logic (July 2023)