FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACGILMNPRST
A
abstract state machine
C
Cellular automata
G
Gandy
geometry of interaction
I
imperative calculi
Interaction nets
L
lambda calculus
Linearity
Local determinism
M
Models of computation
Modular Tensor Category
N
nondeterminism
P
Parallel computation
Pi-calculus
R
Reduction Semantics
Reversibility
S
Scoped channels
semantics
sharing
syntactic models
T
Time-varying graphs
Topological Quantum Computation