Linearity/TLLA Pre-proceedings

LINEARITY/TLLA PRE-PROCEEDINGS

Papers Papers with Abstracts Preface Author Index Keyword Index

Editors: Maribel Fernandez, Valeria de Paiva, Thomas Ehrhard and Lorenzo Tortora De Falco

Authors	Title	Talk
Sandra Alves	Termination of lambda-calculus linearization methods
Iliano Cervesato, Sharjeel Khan, Giselle Reis and Dragisa Zunic	Formalization of Automated Trading Systems in a Concurrent Linear Framework	Jul 08 17:20
Zeinab Galal	Towards a Functional Language for Species of Structures	Jul 08 09:00
Masahito Hasegawa	From Linear Logic to Cyclic Sharing	Jul 07 14:55
Jiaming Jiang, Harley Eades Iii and Valeria de Paiva	On the Lambek Calculus with an Exchange Modality	Jul 07 09:20
Marie Kerjean and Yoann Dabrowski	Models of Linear Logic based on the Schwartz epsilon product	Jul 08 12:00
Wen Kokke, Fabrizio Montesi and Marco Peressotti	Taking Linear Logic Apart	Jul 07 12:00
Pierre Lescanne	How to count linear and affine closed lambda terms?	Jul 08 09:20
Zhaohui Luo	Substructural Calculi with Dependent Types	Jul 07 09:00
Roberto Maieli	The structure of non decomposable connectives of linear logic	Jul 07 14:00
Giulio Manzonetto and Giulio Guerrieri	The Bang Calculus and the Two Girard's Translations	Jul 07 09:55
Lê Thành Dũng Nguyễn and Thomas Seiller	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL	Jul 08 14:55
Lê Thành Dũng Nguyễn and Thomas Seiller	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)	Jul 08 17:00
Carlos Olarte, Valeria de Paiva, Elaine Pimentel and Giselle Reis	Benchmarking Linear Logic Translations	Jul 08 14:20
Luca Paolini, Luca Roversi and Margherita Zorzi	Quantum programming made easy	Jul 07 17:35
Luc Pellissier	Generalized generalized species of structure and resource modalities	Jul 08 14:00
Luc Pellissier and Thomas Seiller	Entropy and Complexity Lower Bounds	Jul 08 09:55
Paolo Pistone	Proof nets, coends and the Yoneda isomorphism	Jul 07 17:00
Lionel Vaux Auclair and Federico Olimpieri	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants	Jul 07 14:20