Crossmark

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic

Published Online: 2024-12-31

Authors

Gheorghiu, Alexander V.

Gu, Tao https://orcid.org/0000-0001-5749-0758
Pym, David J.
Funding

Funding for this research was provided by:

Engineering and Physical Sciences Research Council (EP/S013008/1, EP/R006865/1)

Engineering and Physical Sciences Research Council (EP/S013008/1, EP/R006865/1)

Engineering and Physical Sciences Research Council (EP/S013008/1, EP/R006865/1)
License Information

Text and Data Mining valid from 2024-12-31

Version of Record valid from 2024-12-31
More Information

Article History

Received: 22 April 2024

First Online: 31 December 2024

Document is current