Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D E F G H I L M N P R T U

A
ACC	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
Algebraic structure	Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse
C
Compilation	An Implementation Model for Interaction Nets Needed Computations Shortcutting Needed Steps
complexity analysis	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
Connectedness	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
context-free grammars	Nested Term Graphs
cyclic lambda-terms	Nested Term Graphs
D
data structures	An Implementation Model for Interaction Nets
Diffnets	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
E
Empire	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
F
Fixed point theory	Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse
G
General safe recursion	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
graph rewriting	Needed Computations Shortcutting Needed Steps
H
higher-order rewrite systems	Nested Term Graphs
higher-order term graphs	Nested Term Graphs
I
Infinite graph rewriting	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
Interaction nets	An Implementation Model for Interaction Nets
L
linear logic	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
M
MELL	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
N
Needed step	Needed Computations Shortcutting Needed Steps
Normalization	Needed Computations Shortcutting Needed Steps
P
Polynomial runtime complexity	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
proof-nets	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
R
relational semantics	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
Rewriting in action logic	Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse
T
Taylor expansion	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
Termination proof	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
U
Unfolding graph rewriting	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion