Proceedings Second Joint International Workshop on Linearity Trends in Linear Logic and Applications

12/28/2021
by   Ugo Dal Lago, et al.
0

This volume contains a selection of papers presented at Linearity TLLA 2020, namely the Second Joint International Workshop on Linearity Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed to take place in Paris as part of FSCD 2020, but due to the COVID pandemic it was decided not to hold the event live.) Linearity is a central concept in many theoretical and practical approaches to computer science. On the theoretical side, there is much work stemming from linear logic and dealing with resource control, complexity classes, and more recently quantum computation. On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient implementation techniques. Linear logic is not only a theoretical tool for the analysis of resource usage in logic and computation. It is also a corpus of distinct approaches and methodologies (e.g., proof nets, geometry of interaction, coherent spaces, relational models) that were originally developed for the study of linear logic's syntax and semantics have nowadays found applications in several other fields.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

04/12/2019

Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications

This volume contains a selection of papers presented at Linearity/TLLA 2...
10/01/2018

Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)

This volume constitutes the pre-proceedings of the 26th International Wo...
07/12/2017

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

This volume of the EPTCS contains the proceedings of the 15th internatio...
07/03/2018

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

This volume contains a selection of papers presented at LFMTP 2018, the ...
12/28/2014

Proceedings of the 11th workshop on Quantum Physics and Logic

This volume contains the proceedings of the 11th International Workshop ...
02/05/2019

Proceedings Tenth International Workshop on Computing with Terms and Graphs

This volume contains a selection of the papers presented at TERMGRAPH 20...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.