Barroso-Nascimento, Victor;
Piotrovskaya, Ekaterina;
Pimentel, Elaine;
(2025)
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic.
In:
Proceedings of the 41st Conference on Mathematical Foundations of Programming Semantics MFPS XLI (MFPS 2025).
Episciences
(In press).
![[thumbnail of 2504.08349v1.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
2504.08349v1.pdf - Accepted Version Access restricted to UCL open access staff until 30 April 2026. Download (515kB) |
| Type: | Proceedings paper |
|---|---|
| Title: | A Proof-Theoretic Approach to the Semantics of Classical Linear Logic |
| Event: | 41st Conference on Mathematical Foundations of Programming Semantics MFPS XLI (MFPS 2025) |
| Location: | Glasgow, Scotland |
| Dates: | 16th-20th June 2025 |
| Publisher version: | https://www.coalg.org/calco-mfps-2025/mfps/? |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10216281 |
Downloads since deposit
1Download
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
