Pym, David;
Ritter, Eike;
Robinson, Edmund;
(2022)
Proof-theoretic Semantics in Sheaves (Extended Abstract).
Presented at: The Eleventh Scandinavian Logic Symposium (SLSS 2022), Bergen, Norway.
Preview |
Text
PymRitterRobinson.pdf - Accepted Version Download (196kB) | Preview |
| Type: | Conference item (Presentation) |
|---|---|
| Title: | Proof-theoretic Semantics in Sheaves (Extended Abstract) |
| Event: | The Eleventh Scandinavian Logic Symposium (SLSS 2022) |
| Location: | Bergen, Norway |
| Dates: | 17 Jun 2022 - 19 Jun 2022 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://scandinavianlogic2020.w.uib.no/eleventh-sc... |
| 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 > 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 UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10149558 |
Downloads since deposit
Loading...Download activity - last month
Loading...Download activity - last 12 months
Loading...Downloads by country - last 12 months
Loading...Archive Staff Only
 |
View Item |
