FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
abstract state machine	Generic Graph Semantics
C
Cellular automata	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
G
Gandy	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
geometry of interaction	Models of Computation that Conserve Data
I
imperative calculi	A syntactic model of mutation and aliasing
Interaction nets	Models of Computation that Conserve Data
L
lambda calculus	Towards a Formal System for Topological Quantum Computation
Linearity	Models of Computation that Conserve Data
Local determinism	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
M
Models of computation	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
Modular Tensor Category	Towards a Formal System for Topological Quantum Computation
N
nondeterminism	Generic Graph Semantics
P
Parallel computation	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
pi-calculus	Pointing to Private Names
R
Reduction Semantics	Pointing to Private Names
Reversibility	Models of Computation that Conserve Data
S
Scoped channels	Pointing to Private Names
semantics	Generic Graph Semantics
sharing	A syntactic model of mutation and aliasing
syntactic models	A syntactic model of mutation and aliasing
T
Time-varying graphs	A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
Topological Quantum Computation	Towards a Formal System for Topological Quantum Computation

Disclaimer | Powered by EasyChair Smart Program