LINEARITY 2014 INFORMAL PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C D G K M P R S T Z

B
Basaldella, Michele	Ludics without Designs I: Triads (PDF, talk)
Brock-Nannestad, Taus	Cut Elimination in Multifocused Linear Logic (PDF, talk)
Bucciarelli, Antonio	The inhabitation problem for non-idempotent intersection (PDF, talk)
C
Chaudhuri, Kaustuv	Undecidability of Multiplicative Subexponential Logic (PDF, talk)
D
Dal Lago, Ugo	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk)
G
Gan, Edward	Type Classes for Lightweight Substructural Types (PDF, talk)
Guenot, Nicolas	Cut Elimination in Multifocused Linear Logic (PDF, talk)
Guerrieri, Giulio	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
K
Kesner, Delia	The inhabitation problem for non-idempotent intersection (PDF, talk)
M
Mackie, Ian	Continuations, closed reduction and process networks (PDF, talk)
Morrisett, Greg	Type Classes for Lightweight Substructural Types (PDF, talk)
P
Paykin, Jennifer	A Linear/Producer/Consumer model of Classical Linear Logic (PDF, talk)
Pimentel, Elaine	On modalities and linearity (PDF, talk)
R
Ronchi Della Rocca, Simona	The inhabitation problem for non-idempotent intersection (PDF, talk)
S
Sabry, Amr	Superstructural Reversible Logic (PDF, talk)
Solieri, Marco	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
Sparks, Zachary	Superstructural Reversible Logic (PDF, talk)
T
Tortora De Falco, Lorenzo	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
Tov, Jesse A.	Type Classes for Lightweight Substructural Types (PDF, talk)
Z
Zdancewic, Steve	A Linear/Producer/Consumer model of Classical Linear Logic (PDF, talk)
Zorzi, Margherita	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk)