Projects per year
Abstract
We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.
Original language | English |
---|---|
Title of host publication | Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings |
Editors | Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz |
Place of Publication | Berlin, Germany |
Publisher | Springer Verlag |
Pages | 282-300 |
Number of pages | 19 |
ISBN (Print) | 9783662595329 |
DOIs | |
Publication status | Published - 1 Jul 2019 |
Event | 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands Duration: 2 Jul 2019 → 5 Jul 2019 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11541 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 |
---|---|
Country/Territory | Netherlands |
City | Utrecht |
Period | 2/07/19 → 5/07/19 |
Keywords
- Graph
- Linear logic
- Proof-net
- Taylor expansion
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science
Fingerprint
Dive into the research topics of 'Proof-Net as Graph, Taylor Expansion as Pullback'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Typed Lambda-Calculi with Sharing and Unsharing
Heijltjes, W. (PI)
Engineering and Physical Sciences Research Council
1/01/19 → 30/07/22
Project: Research council