Premonoidal categories and a graphical view of programs

Title

Abstract

Introduction

Value category

Central category

Process category

Tracing

Future work

Appendices

Syntax sugar

Implementation

Completeness proof

Partial trace

Bibliography