Gheorghiu, Alexander V;
Ayhan, Sara;
Nascimento, Victor;
(2024)
Special Session: Proof-theoretic Semantics.
(Dagstuhl Seminar
24341
).
Dagstuhl: Wadern, Germany.
(In press).
Preview |
Text
Dagstuhl.pdf - Submitted Version Download (177kB) | Preview |
Abstract
The report on the special session on Proof-theoretic Semantics held at Dagstuhl Seminar 24341 "Proof Representations: From Theory to Applications".
| Type: | Report |
|---|---|
| Title: | Special Session: Proof-theoretic Semantics |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://www.dagstuhl.de/24341/schedule.pdf |
| 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. |
| Keywords: | Logic, Semantics, Proof Theory, Bilateralism |
| 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/10198622 |
Downloads since deposit
28Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
