1 Table of Contents: “... -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi...”

2 Table of Contents: “... domains, groupoids and linear logic -- Graded multicategories of polynomial-time realizers...”

3 Table of Contents: “... by preorders -- Linear logic and interference control -- Higher dimensional word problem -- BCK-formulas having...”