VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program