SD 2014 INFORMAL PROCEEDINGS: AUTHOR INDEX

Shortcuts: B D F H I K Q S T

B
Bagnol, Marc	A Correctness Criterion Free from Switchings (PDF, talk)
Brock-Nannestad, Taus	Substructural Cut Elimination (PDF, talk)
D
Doumane, Amina	A Correctness Criterion Free from Switchings (PDF, talk)
Dowek, Gilles	Simply Typed Lambda-Calculus Modulo Type Isomorphisms (PDF, talk)
F
Fouqueré, Christophe	Multiplicative Decomposition of Behaviours in Ludics (PDF, talk)
H
Hughes, Dominic	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
I
Iemhoff, Rosalie	Completions and the Schuette method (PDF, talk)
K
Kerjean, Marie	Weak topologies for Linear Logic (PDF, talk)
Q
Quatrini, Myriam	Multiplicative Decomposition of Behaviours in Ludics (PDF, talk)
S
Saurin, Alexis	A Correctness Criterion Free from Switchings (PDF, talk)
T
Terui, Kazushige	Proof theory for ordered algebra: amalgamation and densification (PDF, talk)