Gheorghiu, Alexander;
Gu, Tao;
Pym, David;
(2024)
Inferentialist Resource Semantics (Extended Abstract).
In:
Proceedings of Mathematical Foundations of Programming Semantics 2024.
EPI Sciences: Villeurbanne, France.
(In press).
![[thumbnail of Inferentialist_Resource_Semantics.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
Inferentialist_Resource_Semantics.pdf - Accepted Version Access restricted to UCL open access staff until 22 May 2025. Download (602kB) |
| Type: | Proceedings paper |
|---|---|
| Title: | Inferentialist Resource Semantics (Extended Abstract) |
| Event: | Mathematical Foundations of Programming Semantics 2024 |
| Location: | Oxford |
| Dates: | 19 Jun 2024 - 21 Jun 2024 |
| Publisher version: | https://entics.episciences.org/volume/view/id/962 |
| 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 UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10193336 |
Downloads since deposit
1Download
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
