LINEARITY 2014 INFORMAL PROCEEDINGS

Editors: Sandra Alves and Iliano Cervesato

Authors	Title	Paper	Talk
Ian Mackie	Continuations, closed reduction and process networks		Jul 13 14:30
Elaine Pimentel	On modalities and linearity		Jul 13 08:45
Michele Basaldella	Ludics without Designs I: Triads		Jul 13 16:30
Taus Brock-Nannestad and Nicolas Guenot	Cut Elimination in Multifocused Linear Logic		Jul 13 12:15
Kaustuv Chaudhuri	Undecidability of Multiplicative Subexponential Logic		Jul 13 10:45
Ugo Dal Lago and Margherita Zorzi	Wave-Style Token Machines and Quantum Lambda Calculi		Jul 13 17:00
Edward Gan, Jesse A. Tov and Greg Morrisett	Type Classes for Lightweight Substructural Types		Jul 13 15:30
Giulio Guerrieri and Lorenzo Tortora De Falco	A new point of view on the Taylor expansion of proof-nets and uniformity		Jul 13 18:00
Jennifer Paykin and Steve Zdancewic	A Linear/Producer/Consumer model of Classical Linear Logic		Jul 13 11:45
Simona Ronchi Della Rocca, Antonio Bucciarelli and Delia Kesner	The inhabitation problem for non-idempotent intersection		Jul 13 09:45
Marco Solieri	Geometry of Resource Interaction – A Minimalist Approach		Jul 13 17:30
Zachary Sparks and Amr Sabry	Superstructural Reversible Logic		Jul 13 11:15