Proceedings of 2020 Joint Workshop Linearity & Trends on Linear Logic and Applications

Authors

Ugo Dal Lago

Valeria de Paiva

Doi

10.4204/EPTCS.353