SD 2014 INFORMAL PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: C D G I L M N P Q S T

C
classical first-order logic	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
combinatorial proof	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
contraction	Substructural Cut Elimination (PDF, talk)
correctness criterion	A Correctness Criterion Free from Switchings (PDF, talk)
cut elimination	Substructural Cut Elimination (PDF, talk)
D
Danos-Regnier criterion	A Correctness Criterion Free from Switchings (PDF, talk)
Dependency graphs	A Correctness Criterion Free from Switchings (PDF, talk)
G
Gentzen	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
Graphs	A Correctness Criterion Free from Switchings (PDF, talk)
I
Interaction	Multiplicative Decomposition of Behaviours in Ludics (PDF, talk)
L
linear logic	A Correctness Criterion Free from Switchings (PDF, talk) Multiplicative Decomposition of Behaviours in Ludics (PDF, talk) Weak topologies for Linear Logic (PDF, talk)
linear time complexity	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
Ludics	Multiplicative Decomposition of Behaviours in Ludics (PDF, talk)
M
MLL	A Correctness Criterion Free from Switchings (PDF, talk)
N
Normalisation paths	Multiplicative Decomposition of Behaviours in Ludics (PDF, talk)
P
proof net	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
proof nets	A Correctness Criterion Free from Switchings (PDF, talk)
proofs without syntax	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
Q
Quantitative semantics	Weak topologies for Linear Logic (PDF, talk)
S
sequent calculus	First-order Proofs Without Syntax: Summary of Work in Progress (PDF, talk)
substructural logic	Substructural Cut Elimination (PDF, talk)
T
Topological vector spaces	Weak topologies for Linear Logic (PDF, talk)