LINEARITY 2014 INFORMAL PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: C D F G H I L M N O P Q R S T W

C
category theory	A Linear/Producer/Consumer model of Classical Linear Logic (PDF, talk)
classical linear logic	A Linear/Producer/Consumer model of Classical Linear Logic (PDF, talk)
Closed Sets	Ludics without Designs I: Triads (PDF, talk)
coherence	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
cut elimination	Cut Elimination in Multifocused Linear Logic (PDF, talk)
D
decidability	Undecidability of Multiplicative Subexponential Logic (PDF, talk)
Differential Linear Logic	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
Dynamic Algebra	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
F
Focusing	Cut Elimination in Multifocused Linear Logic (PDF, talk)
G
Geometry of Interaction	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk) Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
H
Haskell	Type Classes for Lightweight Substructural Types (PDF, talk)
I
Information preservation	Superstructural Reversible Logic (PDF, talk)
Inhabitation	The inhabitation problem for non-idempotent intersection (PDF, talk)
Interaction nets	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
intersection types	The inhabitation problem for non-idempotent intersection (PDF, talk)
L
lambda calculus	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk) The inhabitation problem for non-idempotent intersection (PDF, talk)
linear logic	Cut Elimination in Multifocused Linear Logic (PDF, talk) Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk)
Linear Types	Type Classes for Lightweight Substructural Types (PDF, talk)
Linearity	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
Ludics	Ludics without Designs I: Triads (PDF, talk)
M
MELL	Undecidability of Multiplicative Subexponential Logic (PDF, talk)
N
non-determinism	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
O
Orthogonality	Ludics without Designs I: Triads (PDF, talk)
P
Path	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
producer/consumer model	A Linear/Producer/Consumer model of Classical Linear Logic (PDF, talk)
proof-nets	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
Proof-Theory	Ludics without Designs I: Triads (PDF, talk)
proto-differential nets	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
Q
Quantum Computing	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk)
R
Resource λ-calculus	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
Reversible computing	Superstructural Reversible Logic (PDF, talk)
S
semantics	Geometry of Resource Interaction – A Minimalist Approach (PDF, talk)
Strong Update	Type Classes for Lightweight Substructural Types (PDF, talk)
subexponential	Undecidability of Multiplicative Subexponential Logic (PDF, talk)
Substructural Types	Type Classes for Lightweight Substructural Types (PDF, talk)
Symmetric monoidal categories	Superstructural Reversible Logic (PDF, talk)
T
Taylor expansion	A new point of view on the Taylor expansion of proof-nets and uniformity (PDF, talk)
Type Classes	Type Classes for Lightweight Substructural Types (PDF, talk)
W
Wave-style Token machines	Wave-Style Token Machines and Quantum Lambda Calculi (PDF, talk)