TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |