FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
DCM DCM PRE-PROCEEDINGSD: KEYWORD INDEX
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