FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDEFGLMPQR
A
automata theory
Automata Theory and Game Semantics
C
concurrency
Resource-Tracking Concurrent Games
Concurrent games
A definable game semantics for the linear quantum lambda-calculus
Continuous probability distributions in concurrent games
contextual equivalence
Automata Theory and Game Semantics
D
Definable
A definable game semantics for the linear quantum lambda-calculus
E
Event structures
Continuous probability distributions in concurrent games
F
Full abstraction
A definable game semantics for the linear quantum lambda-calculus
G
Game semantics
Automata Theory and Game Semantics
Resource-Tracking Concurrent Games
L
lambda-calculus
A definable game semantics for the linear quantum lambda-calculus
M
Measure theory
Continuous probability distributions in concurrent games
P
probability
Continuous probability distributions in concurrent games
Q
Quantum
A definable game semantics for the linear quantum lambda-calculus
R
Resources analysis
Resource-Tracking Concurrent Games