VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program