VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

B
bi-intuitionistic logic
C
Call by name
Call by value
call-by-name and call-by-value
CERES
classical logic
Classical realizability
Combinatorial proofs
completeness
computational content
Consistency
constructive algebra
context semantics
continuations
cps translation
cut elimination
cut-elimination
D
duality
E
extensional models
F
First-order classical proof nets
First-order Classical Sequent Calculus
G
Game Semantics
Gentzen's sharpened Hauptsatz
H
Henkin Quantifier
Herbrand Sequent
Herbrand's theorem
Heyting Algebra Expansions
Heyting Arithmetic
I
implicit computational complexity
Induction
Infinitary Trees
Intersection and union types
intuitionistic modal logic
intuitionistic-modal Kripke frames
K
kripke model
L
lambda calculus
lambda-mu calculus
light logics
linear logic
Ludics
M
Markov's Principle
Midsequent theorem
monadic language
N
Negative translation
negative translations
non-determinism
non-extensional computation
P
polynomial time
process calculus
proof theory
R
realizability
Recursive Types
resolution
Rule transposition
S
scheduling
Schematic Proof
Scott data types
semantics
sequent calculus
sheaf model
simply-typed lambda-calculus
Strong normalisation
T
type preservation
type system
types
U
uniform continuity
W
weak normalization