Linearity-TLLA@FLoC

Keyphrases

Publications

volume 292, 2019

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. Linearity-TLLA@FLoC 292 (2019)

2018

Giulio Guerrieri, Giulio Manzonetto
The Bang Calculus and the Two Girard's Translations. Linearity-TLLA@FLoC (2018)
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
Formalization of Automated Trading Systems in a Concurrent Linear Framework. Linearity-TLLA@FLoC (2018)
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC (2018)
Jiaming Jiang, Harley Eades III, Valeria de Paiva
On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC (2018)
Masahito Hasegawa
From Linear Logic to Cyclic Sharing. Linearity-TLLA@FLoC (2018)
Paolo Pistone
Proof nets, coends and the Yoneda isomorphism. Linearity-TLLA@FLoC (2018)
Lê Thành Dung Nguyên, Thomas Seiller
Coherent Interaction Graphs. Linearity-TLLA@FLoC (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Taking Linear Logic Apart. Linearity-TLLA@FLoC (2018)
Luca Paolini, Luca Roversi, Margherita Zorzi
Quantum programming made easy. Linearity-TLLA@FLoC (2018)