TALK KEYWORD INDEX

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

A | |

ACC | |

Algebraic structure | |

C | |

Compilation | |

complexity analysis | |

Connectedness | |

context-free grammars | |

cyclic lambda-terms | |

D | |

data structures | |

Diffnets | |

E | |

Empire | |

F | |

Fixed point theory | |

G | |

General safe recursion | |

graph rewriting | |

H | |

higher-order rewrite systems | |

higher-order term graphs | |

I | |

Infinite graph rewriting | |

Interaction nets | |

L | |

linear logic | |

M | |

MELL | |

N | |

Needed step | |

Normalization | |

P | |

Polynomial runtime complexity | |

proof-nets | |

R | |

relational semantics | |

Rewriting in action logic | |

T | |

Taylor expansion | |

Termination proof | |

U | |

Unfolding graph rewriting |