VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program